当我尝试从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插件工作?
提前致谢!