当我尝试从更新站点http://jmlspecs.sourceforge.net/openjml-updatesite安装openJML插件时，我得到以下错误:
An error occurred while collecting items to be installed
session context was:(profile=epp.package.java, phase=org.eclipse.equinox.internal.p2.engine.phases.Collect, operand=, action=).
Artifact not found: ... (with about 4 or 5 jars)
我试过安装以前版本的插件，但都导致类似的"Artifact not found"错误。有人知道为什么这不起作用吗?或者有一个变通方法，我可以用它来让Eclipse插件工作?
提前感谢!
一个bug报告已经被打开了，但是似乎没有人关心(目前):http://sourceforge.net/p/jmlspecs/bugs/397/
看来你得编译你自己的版本