I'm running mmj2 using Java 11 via the PopOS package openjdk-11-jdk (which is probably the same as the Ubuntu package of the same name).
But if LAMP is working for you, so much the easier. On January 16, 2025 1:37:15 PM PST, Noam Pasman <[email protected]> wrote: >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. -- 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/2F0EC506-6D6C-4769-9897-BA83A1A0B73F%40panix.com.
