On Fri, Mar 3, 2023 at 5:41 PM William Mitchell Jr <wdm...@gmail.com> wrote:
> openjdk-8-jdk: > Error: A JNI error has occurred, please check your installation and try > again > Exception in thread "main" java.lang.UnsupportedClassVersionError: > mmj/util/BatchFramework 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 > at java.lang.ClassLoader.defineClass1(Native Method) > at java.lang.ClassLoader.defineClass(ClassLoader.java:756) > at > java.security.SecureClassLoader.defineClass(SecureClassLoader.java:142) > at java.net.URLClassLoader.defineClass(URLClassLoader.java:473) > at java.net.URLClassLoader.access$100(URLClassLoader.java:74) > at java.net.URLClassLoader$1.run(URLClassLoader.java:369) > at java.net.URLClassLoader$1.run(URLClassLoader.java:363) > at java.security.AccessController.doPrivileged(Native Method) > at java.net.URLClassLoader.findClass(URLClassLoader.java:362) > at java.lang.ClassLoader.loadClass(ClassLoader.java:418) > at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:352) > at java.lang.ClassLoader.loadClass(ClassLoader.java:351) > at java.lang.ClassLoader.defineClass1(Native Method) > at java.lang.ClassLoader.defineClass(ClassLoader.java:756) > at > java.security.SecureClassLoader.defineClass(SecureClassLoader.java:142) > at java.net.URLClassLoader.defineClass(URLClassLoader.java:473) > at java.net.URLClassLoader.access$100(URLClassLoader.java:74) > at java.net.URLClassLoader$1.run(URLClassLoader.java:369) > at java.net.URLClassLoader$1.run(URLClassLoader.java:363) > at java.security.AccessController.doPrivileged(Native Method) > at java.net.URLClassLoader.findClass(URLClassLoader.java:362) > at java.lang.ClassLoader.loadClass(ClassLoader.java:418) > at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:352) > at java.lang.ClassLoader.loadClass(ClassLoader.java:351) > at > sun.launcher.LauncherHelper.checkAndLoadMain(LauncherHelper.java:601) > This seems like a strange error, it sounds like you attempted to use a jar compiled by a newer version of the JDK. If you switch to an older version than the one used by the pre-built .jar file, you will need to recompile the .jar file from the sources. (You might still have trouble, but I think JDK 8 should work. An expected error for using a too-old version would be something like not recognizing lambda functions or a class from the standard library.) -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to metamath+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/CAFXXJSvb3Vrt-kid_jx6N7kvXm9zuSMkzT9vO5C5UAPgZzCE-g%40mail.gmail.com.