OpenJML更新站点的问题

时间:2013-01-21 18:55:37

标签: eclipse-plugin jml

当我尝试从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)

我已经尝试安装以前版本的插件,但都导致类似的“未找到工件”错误。任何人都知道为什么这不起作用?或者我可以使用一种解决方法来使Eclipse插件工作?

提前致谢!

1 个答案:

答案 0 :(得分:0)

错误报告已经打开,但似乎没有人关心(还): http://sourceforge.net/p/jmlspecs/bugs/397/

似乎你必须编译自己的版本。