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)

我尝试过安装以前版本的插件，但都出现了类似的"Artifact“错误。有谁知道为什么这不管用吗？或者有一个可以让Eclipse插件正常工作的变通方法？

提前感谢！

Answer 1

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

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