OpenJML＆＃34;主要版本52比51更新，这是该编译器支持的最高主要版本“

Question

我遇到Eclipse出现错误的问题

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

我试图启用OpenJML

时

我一直在阅读post

但它并没有解决问题。

当我运行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)

希望有人可以提供帮助