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 プラグインを機能させるために使用できる回避策がありますか?
前もって感謝します！