search

VerifiableRobotics / LTLMoP

A toolkit for designing and implementing LTL-based task specifications.
http://ltlmop.github.io
GNU General Public License v3.0
56 stars 69 forks source link

Java version #98

Closed abol-karimi closed 5 years ago

abol-karimi commented 5 years ago

I am going through the tutorial to run a simple example. After I hit compile, I get the following error:

java.lang.UnsupportedClassVersionError: GROneMain has been compiled by a more recent version of the Java Runtime (class file version 55.0), this version of the Java Runtime only recognizes class file versions up to 52.0

Do I need to install a particular version of JRE/JDK?

abol-karimi commented 5 years ago

My JRE was apparently older than my JDK.