问题瓦特/ 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

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

看来你编译您自己的版本。