java安装JML的正确方法

Question

我试图安装Java建模语言（JML），但出现了一些问题。 我使用Eclipse IDE，windows 10。我打开了Eclipse->；帮助->；安装新软件，然后我使用this

然后，我重新启动了Eclipse，新图标出现在顶部菜单栏中。当我试图编译或使用JML图标时，Eclipse显示了一条巨大的错误消息。（img）

我能做些什么来解决这个问题？我没有找到关于website的解决方案

Answer 1

我不允许使用评论功能

我谨此陈辞：

1. 首先，似乎OpenJML安装正确
2. 如果stacktrace属于OpenJML运行，那么问题跟踪器显然就是这样。corresponding line处理多个包的导入。也许您可以尝试使用example to from the OpenJML repository来验证问题是否只发生在Java文件中。您也可以在命令行上尝试openjml。它的行为类似于javac，有额外的选项
3. 一个小细节：OpenJML版本控制似乎有些奇怪。当前版本为0.8.49（github发布后），从2020年9月25日开始。您的版本0.8.48，但来自同一日期