Oops. Output of java -jar mmj2/mmj2jar/mmj2.jar compiled and run with JDK 17:
CommandLineArguments.displayArgumentOptionReport(): Hi! I am mmj2 v2.5.3 as of 23-Sep-2019. Visit https://github.com/digama0/mmj2/ or http://code.google.com/p/metamath-mmj2/ for support or bug reports. Command Line Arguments: [3] mmj2Path = null (e.g. /home/wdmjun/YourFile.xyz) [4] metamathPath = null (e.g. /home/wdmjun/YourFile.xyz) [5] svcPath = null (e.g. /home/wdmjun/YourFile.xyz) [1] runParmFile = null [2] displayMMJ2FailPopupWindow = true ***END CommandLineArguments.displayArgumentOptionReport()*** mmj.pa.ErrorCode@5ef04b5A-UT-0007 RunParmFile not found or SecurityException. Input file name = null System message follows: null Exception in thread "main" 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.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) William On Friday, March 3, 2023 at 11:55:29 PM UTC-5 [email protected] wrote: > This is the same error as before, you need to compile the java files using > the same version as the one you use to run the jar file (in this case JDK > 17). Since you are switching between versions it is likely you forgot to > recompile and are using a class file from JDK 18+, as the error message > says. > > On Fri, Mar 3, 2023 at 11:46 PM William Mitchell Jr <[email protected]> > wrote: > >> java -jar mmj2/mmj2jar/mmj2.jar: >> >> Error: LinkageError occurred while loading main class mmj.util.BatchMMJ2 >> java.lang.UnsupportedClassVersionError: mmj/util/BatchMMJ2 has >> been compiled by a more recent version of the Java Runtime (class file >> version 65.0), this version of the Java Runtime only recognizes class file >> versions up to 61.0 >> >> William >> On Friday, March 3, 2023 at 11:25:01 PM UTC-5 [email protected] wrote: >> >>> what is the regular output? >>> >>> On Fri, Mar 3, 2023 at 11:21 PM William Mitchell Jr <[email protected]> >>> wrote: >>> >>>> Here is the output of strace java -jar mmj2/mmj2jar/mmj2.jar: >>>> >>>> https://pastebin.com/eMMHSGLs >>>> >>>> William >>>> On Friday, March 3, 2023 at 10:26:40 PM UTC-5 [email protected] wrote: >>>> >>>>> The strace output is not very informative because mmj2/mmj2jar/mmj2 is >>>>> actually a shell script which calls java. Most of what you can see is >>>>> just >>>>> bash reading the script. You can call java directly if you want a more >>>>> useful trace. >>>>> >>>>> On Fri, Mar 3, 2023 at 9:40 PM William Mitchell Jr <[email protected]> >>>>> wrote: >>>>> >>>>>> Here is the output of strace mmj2/mmj2jar/mmj2 compiled and run under >>>>>> openjdk-17-jdk, Debian Sid, arm64, x11: >>>>>> >>>>>> https://pastebin.com/zcwgs2pc >>>>>> >>>>>> William >>>>>> On Friday, March 3, 2023 at 7:31:18 PM UTC-5 William Mitchell Jr >>>>>> wrote: >>>>>> >>>>>>> After git clone https://github.com/digama0/mmj2, >>>>>>> >>>>>>> Success: compile with openjdk-11-jdk and runtime openjdk-11-jdk. >>>>>>> Every other combination of compiling/runtime I have available fails. >>>>>>> >>>>>>> Here is the error message from compiling and running under >>>>>>> openjdk-17-jdk: >>>>>>> >>>>>>> Error: LinkageError occurred while loading main class >>>>>>> mmj.util.BatchMMJ2 >>>>>>> java.lang.UnsupportedClassVersionError: mmj/util/BatchMMJ2 >>>>>>> has been compiled by a more recent version of the Java Runtime (class >>>>>>> file >>>>>>> version 65.0), this version of the Java Runtime only recognizes class >>>>>>> file >>>>>>> versions up to 61.0 >>>>>>> >>>>>>> William >>>>>>> On Friday, March 3, 2023 at 6:33:32 PM UTC-5 [email protected] wrote: >>>>>>> >>>>>>>> By the way, if you are thinking about modernizing mmj2 there are >>>>>>>> two known issues with newer versions of the JDK. One is the missing >>>>>>>> nashorn >>>>>>>> support as already mentioned, and the other is an issue in the undo >>>>>>>> system >>>>>>>> which causes ComposedEdits to not work correctly (the required class >>>>>>>> doesn't exist on JDK 10+). It is being version-checked now so you >>>>>>>> shouldn't >>>>>>>> get any build failures, but the user experience is that undo goes one >>>>>>>> character at a time which is pretty miserable. Maybe there is >>>>>>>> something in >>>>>>>> newer versions of the JDK for this but I couldn't find anything useful >>>>>>>> in >>>>>>>> JDK 10. That's why I recommend JDK 9 for most mmj2 users. >>>>>>>> >>>>>>>> On Fri, Mar 3, 2023 at 6:26 PM David Crisp <[email protected]> >>>>>>>> wrote: >>>>>>>> >>>>>>>>> >>>>>>>>> On Friday, 3 March 2023 at 22:41:54 UTC [email protected] wrote: >>>>>>>>> >>>>>>>>> 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) >>>>>>>>> >>>>>>>>> >>>>>>>>> The issue with JDK8 is what Mario suggests, and the issues with >>>>>>>>> JDK18+ are what I'd expect from missing Nashorn support, but 17 is a >>>>>>>>> weird >>>>>>>>> one. I'd expect it to fail for the same reason as 18 (Nashorn was >>>>>>>>> removed >>>>>>>>> in 14) but it looks like it's not even getting that far and is >>>>>>>>> instead >>>>>>>>> having trouble with loading the GUI libraries (libawt_xawt.so is the >>>>>>>>> library that implements Java's low-level windowing functionality on >>>>>>>>> top of >>>>>>>>> X11). >>>>>>>>> >>>>>>>>> I suspect this is an issue with your install of 17, but I don't >>>>>>>>> currently have an ARM system available to me so I can't test it >>>>>>>>> myself with >>>>>>>>> your exact setup - would you mind please trying to uninstall and >>>>>>>>> reinstall >>>>>>>>> 17 for me and seeing if you get the same stacktrace? If you do I'll >>>>>>>>> add it >>>>>>>>> to my list of things to investigate once I start diving into the code >>>>>>>>> - 17 >>>>>>>>> is the most recent LTS version, so it's one that we really want mmj2 >>>>>>>>> to >>>>>>>>> work with if at all possible. >>>>>>>>> >>>>>>>>> Thanks >>>>>>>>> >>>>>>>>> Dave >>>>>>>>> >>>>>>>>> -- >>>>>>>>> >>>>>>>> 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/ba2288fa-9f13-4d50-8334-cc6fc361e117n%40googlegroups.com >>>>>>>>> >>>>>>>>> <https://groups.google.com/d/msgid/metamath/ba2288fa-9f13-4d50-8334-cc6fc361e117n%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/eefc22b1-5a98-4509-8bd9-bba24f410af2n%40googlegroups.com >>>>>> >>>>>> <https://groups.google.com/d/msgid/metamath/eefc22b1-5a98-4509-8bd9-bba24f410af2n%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/b28d7f73-e42e-449c-a463-49d68af61160n%40googlegroups.com >>>> >>>> <https://groups.google.com/d/msgid/metamath/b28d7f73-e42e-449c-a463-49d68af61160n%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/3e337566-46c7-4c77-8baf-fb646238e8a9n%40googlegroups.com >> >> <https://groups.google.com/d/msgid/metamath/3e337566-46c7-4c77-8baf-fb646238e8a9n%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/b30d4fdc-0f69-42fc-b99d-93ba02034a81n%40googlegroups.com.
