openjdk-11-jdk works on my system.
Debian Sid
arm64
Java versions available to me: openjdk-8-jdk, openjdk-11-jdk,
openjdk-17-jdk, openjdk-18-jdk, openjdk-19-jdk, openjdk-20-jdk,
openjdk-21-jdk.
openjdk-8-jdk: fails (error message posted below)
openjdk-11-jdk: success
openjdk-17-jdk: fails (error message posted below)
openjdk-18-jdk through openjdk-21-jdk: fails (all with the same error
message posted below)
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)
openjdk-17-jdk:
Can't load library: /usr/lib/jvm/java-17-openjdk-arm64/lib/libawt_xawt.so
java.lang.UnsatisfiedLinkError: Can't load library:
/usr/lib/jvm/java-17-openjdk-arm64/lib/libawt_xawt.so
at
java.base/java.lang.ClassLoader.loadLibrary(ClassLoader.java:2393)
at java.base/java.lang.Runtime.load0(Runtime.java:755)
at java.base/java.lang.System.load(System.java:1953)
at java.base/jdk.internal.loader.NativeLibraries.load(Native Method)
at
java.base/jdk.internal.loader.NativeLibraries$NativeLibraryImpl.open(NativeLibraries.java:388)
at
java.base/jdk.internal.loader.NativeLibraries.loadLibrary(NativeLibraries.java:232)
at
java.base/jdk.internal.loader.NativeLibraries.loadLibrary(NativeLibraries.java:174)
at
java.base/jdk.internal.loader.NativeLibraries.findFromPaths(NativeLibraries.java:315)
at
java.base/jdk.internal.loader.NativeLibraries.loadLibrary(NativeLibraries.java:285)
at
java.base/java.lang.ClassLoader.loadLibrary(ClassLoader.java:2398)
at java.base/java.lang.Runtime.loadLibrary0(Runtime.java:818)
at java.base/java.lang.System.loadLibrary(System.java:1989)
at java.desktop/java.awt.Toolkit$2.run(Toolkit.java:1392)
at java.desktop/java.awt.Toolkit$2.run(Toolkit.java:1390)
at
java.base/java.security.AccessController.doPrivileged(AccessController.java:318)
at java.desktop/java.awt.Toolkit.loadLibraries(Toolkit.java:1389)
at java.desktop/java.awt.Toolkit.initStatic(Toolkit.java:1427)
at java.desktop/java.awt.Toolkit.<clinit>(Toolkit.java:1401)
at java.desktop/java.awt.Color.<clinit>(Color.java:277)
at mmj.pa.PaConstants.<clinit>(PaConstants.java:863)
at mmj.pa.ProofAsstPreferences.<init>(ProofAsstPreferences.java:339)
at
mmj.util.ProofAsstBoss.getProofAsstPreferences(ProofAsstBoss.java:1061)
at
mmj.util.ProofAsstBoss.editProofAsstUnifySearchExclude(ProofAsstBoss.java:628)
at mmj.util.Boss.lambda$putCommand$0(Boss.java:107)
at mmj.util.Boss.doRunParmCommand(Boss.java:121)
at
mmj.util.BatchFramework.executeRunParmCommand(BatchFramework.java:281)
at mmj.util.BatchFramework.runIt(BatchFramework.java:223)
at mmj.util.BatchMMJ2.main(BatchMMJ2.java:53)
Exception in thread "main" java.lang.NoClassDefFoundError: Could not
initialize class mmj.pa.PaConstants
at mmj.pa.ProofAsstPreferences.<init>(ProofAsstPreferences.java:339)
at mmj.pa.ProofAsstPreferences.<init>(ProofAsstPreferences.java:266)
at mmj.pa.AuxFrameGUI.<init>(AuxFrameGUI.java:61)
at
mmj.util.MMJ2FailPopupWindow.showAuxFrameGUI(MMJ2FailPopupWindow.java:229)
at
mmj.util.MMJ2FailPopupWindow.displayFailMessage(MMJ2FailPopupWindow.java:119)
at mmj.util.BatchFramework.runIt(BatchFramework.java:243)
at mmj.util.BatchMMJ2.main(BatchMMJ2.java:53
openjdk-18-jdk through openjdk-21-jdk:
mmj.pa.MMJException: E-UT-1502 You attempted to use a macro, but the
default Macro language 'js' does not exist. Use 'MacroLanguage,xxx' with
one of the following installed languages:
java.lang.IllegalStateException: mmj.pa.MMJException: E-UT-1502 You
attempted to use a macro, but the default Macro language 'js' does not
exist. Use 'MacroLanguage,xxx' with one of the following installed
languages:
at mmj.pa.MacroManager.<init>(MacroManager.java:93)
at mmj.util.MacroBoss.getMacroManager(MacroBoss.java:115)
at mmj.util.ProofAsstBoss.getProofAsst(ProofAsstBoss.java:313)
at mmj.util.ProofAsstBoss.doRunProofAsstGUI(ProofAsstBoss.java:1020)
at mmj.util.Boss.lambda$putCommand$0(Boss.java:107)
at mmj.util.Boss.doRunParmCommand(Boss.java:121)
at
mmj.util.BatchFramework.executeRunParmCommand(BatchFramework.java:281)
at mmj.util.BatchFramework.runIt(BatchFramework.java:223)
at mmj.util.BatchMMJ2.main(BatchMMJ2.java:53)
Caused by: mmj.pa.MMJException: E-UT-1502 You attempted to use a macro, but
the default Macro language 'js' does not exist. Use 'MacroLanguage,xxx'
with one of the following installed languages:
... 9 more
Caused by: mmj.pa.ProofAsstException: E-PA-1501 MacroLanguage 'js' does not
exist.
at mmj.pa.MacroManager.lambda$new$2(MacroManager.java:88)
at mmj.pa.Setting.lambda$addValidation$0(Setting.java:42)
at mmj.pa.Setting.addListener(Setting.java:33)
at mmj.pa.Setting.addValidation(Setting.java:41)
at mmj.pa.MacroManager.<init>(MacroManager.java:73)
... 8 more
mmj.pa.MMJException: E-UT-1502 You attempted to use a macro, but the
default Macro language 'js' does not exist. Use 'MacroLanguage,xxx' with
one of the following installed languages:
Thanks,
William
On Friday, March 3, 2023 at 2:30:15 PM UTC-5 [email protected] wrote:
> I'm fine with this (and Mel is no longer active). I haven't done any Java
> work for the past 5 years or so beyond basic maintenance, so if you have a
> better idea of how to make stuff run on the new hotness then be my guest.
>
> On Fri, Mar 3, 2023 at 2:24 PM David Crisp <[email protected]> wrote:
>
>>
>> If this is likely to be an issue going forward would it be a good idea to
>> mavenize/gradleize the mmj2 build process so that the standalone version of
>> nashorn-core (
>> https://mvnrepository.com/artifact/org.openjdk.nashorn/nashorn-core)
>> gets auto-downloaded and incorporated into the Jar file? It would increase
>> the size of the jar somewhat but would at least ensure that the program
>> isn't dependent on an antique version of Java? Although jdk8 is still
>> technically under LTS it's no longer recommended for production use and
>> anything modern should really be targeting jdk11+, if not jdk17.
>>
>> I'm a Java guy and have some time off work coming up later this month, if
>> Mel and Mario are okay with it I'd at least be willing to spend a day
>> looking at the repo to see how much work it would be likely to be.
>>
>> DC
>> On Thursday, 2 March 2023 at 22:38:49 UTC David A. Wheeler wrote:
>>
>>>
>>>
>>> > On Mar 2, 2023, at 4:36 PM, Mario Carneiro <[email protected]> wrote:
>>> >
>>> > It sounds like the nashorn JS engine was removed from a later version
>>> of JDK, and the empty list following the prompt suggests there is no
>>> replacement. Without it you won't be able to run any macros, although you
>>> might be able to install it manually? The easiest thing to do is probably
>>> just to downgrade to JDK 9.
>>>
>>> Ah, of course! I should have noticed the openjdk version more carefully.
>>>
>>> Oracle has long warned that they'd stop supporting JavaScript from Java
>>> using the Nashorn JS engine, but mmj2 depends on it.
>>>
>>> --- David A. Wheeler
>>>
>>>
>>> >
>>> > On Thu, Mar 2, 2023 at 3:53 PM David A. Wheeler <[email protected]>
>>> wrote:
>>> >
>>> >
>>> > > On Mar 2, 2023, at 3:23 AM, William Mitchell Jr <[email protected]>
>>> wrote:
>>> > >
>>> > > running mmj2 in the mmj2jar directory produced this error:
>>> > >
>>> > > mmj.pa.MMJException: E-UT-1502 You attempted to use a macro, but the
>>> default Macro language 'js' does not exist. Use 'MacroLanguage,xxx' with
>>> one of the following installed languages:
>>> > >
>>> > > This is the git version (uncompiled) running on
>>> > > arm64
>>> > > Debian Linux
>>> > > openjdk-18
>>> >
>>> > Weird. I have no idea what's going on. Anyone else?
>>> >
>>> > --- David A. Wheeler
>>> >
>>> > --
>>> > 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 on the web visit
>>> https://groups.google.com/d/msgid/metamath/CCC54F28-92E6-4C7D-B8EF-1A993DB50449%40dwheeler.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 on the web visit
>>> https://groups.google.com/d/msgid/metamath/CAFXXJSsoTbBby4QCy6zh-JEF%2B3qM80bSASPLJ4zk9RkA4%2B1C%2Bw%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 on the web visit
>> https://groups.google.com/d/msgid/metamath/4d1ba8e0-5a86-416f-b554-6fb16484c17cn%40googlegroups.com
>>
>> <https://groups.google.com/d/msgid/metamath/4d1ba8e0-5a86-416f-b554-6fb16484c17cn%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 on the web visit
https://groups.google.com/d/msgid/metamath/bf894354-4fbd-41c4-9e47-eaf971c593a1n%40googlegroups.com.
