OpenJML 可作为 Eclipse 插件使用(安装站点 http://jmlspecs.sourceforge.net/openjml-updatesite )，并且似乎在 Eclipse Photon 中安装正常。

但是文档说它只能在 OpenJDK 1.8 上运行，并且不能是任何其他 JDK(例如 Oracle JDK)。而且它的(OpenJDK)版本不能不同于 1.8(比如 1.9)。

我在 Eclipse 中的项目都使用 (Oracle) JDK，此外我们计划很快从 JDK 1.8 升级到 1.9。

我可以设置 OpenJML 以便它使用所需的 OpenJDK 1.8，而我的项目则使用它需要的任何东西吗？

请您参考如下方法:

OpenJML 在内部构建于 OpenJDK 1.8 编译器之上。 当然，您可以针对相同的 Java 源(在 eclipse 之外；在构建工具中)运行 OpenJML(使用 JRE 1.8)和 Java 9 编译器，但 OpenJML 无法理解新的语言功能(模块等)或 API变化。因此，您需要坚持使用 Java 1.8 API 和功能，因此除了 JVM 改进之外，您无法从使用 Java 9 中获得任何好处。