Eclipse plugin OpenJML更新站点存在的问题

当我尝试在更新站点上安装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插件工作

---

提前谢谢

一个bug报告已经打开，但似乎没有人关心（目前）：

---

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

感谢您的检查，我无法很好地浏览该网站；无论如何，我都很乐意去编译它。