LogbackServiceProvider has been compiled by a more recent version of the Java Runtime error when run with old Java version

[shonfeder]

I got an interesting error after downloading the latest release of Apalache, complaining about

/LogbackServiceProvider 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. 

Quick googling gave me that I should update my java version (https://stackoverflow.com/questions/47457105/class-has-been-compiled-by-a-more-recent-version-of-the-java-environment).

Thanks to @ivan-gavran for the report.

[shonfeder]

This only happens if used with a Java version much older than what we advise, but if more people are impacted by it, we could try doing a validation check on startup or catch this kind of error specifically.