eclipse-plugin - OpenJML 更新站点的问题

Question

当我尝试从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 插件工作的解决方法？

提前致谢！

Answer 1

已经打开了一个错误报告，但似乎没有人关心（还）：http: //sourceforge.net/p/jmlspecs/bugs/397/

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