Any chance of this being fixed anytime soon? Support for Java 7 is disappearing, and having to hack eclipse.ini to point to the right Java version is a pain...
Just to avoid any chance of confusion: I'm not bothered so much with support for Java 8 in JML, but with the correct functioning of the OpenJML plugin under Java 8.
Keep up the good work!
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
I can confirm this. Users: remember to keep Java 7 for OpenJML.
@Angelo Gargantini
No need to state the obvious.
Anyway, this needs to be fixed instead of telling users to use Java 7.
@tomas you're a genious! I did not know that this bug needed to be fixed.
Any chance of this being fixed anytime soon? Support for Java 7 is disappearing, and having to hack eclipse.ini to point to the right Java version is a pain...
Just to avoid any chance of confusion: I'm not bothered so much with support for Java 8 in JML, but with the correct functioning of the OpenJML plugin under Java 8.
Keep up the good work!