I think the Java version might have been the issue. I'll look into it more closely if I want to go back to mmj2, but for now I'll think I'll just use metamath-lamp. It's been much easier to get the hang of so far.
On Thu, Jan 16, 2025 at 1:23 PM 'Alexander van der Vekens' via Metamath < [email protected]> wrote: > Which Java version do you use? There were always problems with versions > higher than 8 (search for "JDK" in this Google group). So maybe you should > use JDK 8. > > [email protected] schrieb am Donnerstag, 16. Januar 2025 um 16:55:56 > UTC+1: > > I switched to using that script and got it to work, but now I think I'm > getting an error on the version of Java Runtime that I have? I'm not really > sure what this means: > > Exception in thread "main" java.lang.UnsupportedClassVersionError: > mmj/util/BatchMMJ2 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:359) > at java.lang.ClassLoader.loadClass(ClassLoader.java:351) > at sun.launcher.LauncherHelper.checkAndLoadMain(LauncherHelper.java:641) > > -- > 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 [email protected]. > To view this discussion visit > https://groups.google.com/d/msgid/metamath/cb47d3bb-bb33-4e81-8746-dd34e237ff54n%40googlegroups.com > <https://groups.google.com/d/msgid/metamath/cb47d3bb-bb33-4e81-8746-dd34e237ff54n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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 [email protected]. To view this discussion visit https://groups.google.com/d/msgid/metamath/CABJcXbQen-Awjc7ieBhB5iJjA8hd4MC52QorA9xmKBk4Y%2BjziQ%40mail.gmail.com.
