Java OpenJML"；主版本52比51更新，51是此编译器支持的最高主版本”；

我有一个问题，Eclipse出现了错误

"major version 52 is newer than 51, the highest major version supported by this compiler"

当我试图启用

OpenJML

我一直在读这个

但这并不能解决问题

当我运行java-version时，输出是

java version "1.8.0_45"
Java(TM) SE Runtime Environment (build 1.8.0_45-b14)
Java HotSpot(TM) 64-Bit Server VM (build 25.45-b02, mixed mode)

---

希望有人能帮助你

你已经用JDK 8编译了你的代码，有人正试图用JDK 7编译器来使用它。你确定eclipse项目使用的是jdk8吗？如果我转到首选项，“安装的JRE”是Java SE 8（1.8.0_45），编译器是1.8我认为OpenJML不支持Java 8，我认为它需要OpenJDK 7，我有同样的问题，我需要一个Java8的静态验证工具。