All Eclipse hover error messages turned into "Counterexample: no proof information available"
Yes - this problem is fixed in current OpenJML (0.8.51). Note that you do have to be running Java 1.8. It appears that Eclipse downloads in 2020ff presume Java 11, causing problems also. I'm successful with Eclipse 2019-12, and am workiung to upgrade OpenJML to currnet Java (instead of Java 8)
Protecting against make errors
Fixes to jmldocs
Slight changes to Makefiles for platform independence and documentation
javadocs/jmldocs now work from any subdirectory
Updating TODO
Testing cross-platform issues for jmldocs