after apt install openjdk-17-jre, java --version: openjdk 17.0.6 2023-01-17 OpenJDK Runtime Environment (build 17.0.6+10-Debian-1) OpenJDK 64-Bit Server VM (build 17.0.6+10-Debian-1, mixed mode, sharing)
jar --version: jar 21-ea output of mmj2/mmj2jar/mmj2: https://pastebin.com/5Xgy1e0u 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 William On Saturday, March 4, 2023 at 12:30:22 AM UTC-5 [email protected] wrote: > (FYI you have to pass arguments to the jar file if you don't want it to > immediately quit with an error message, this is why the bash wrapper > exists. But the missing .so error seems to happen first.) Googling this > seems to suggest that your JDK 17 installation is broken, try reinstalling > it. Does the indicated file > "/usr/lib/jvm/java-17-openjdk-arm64/lib/libawt_xawt.so" exist? > > On Sat, Mar 4, 2023 at 12:26 AM William Mitchell Jr <[email protected]> > wrote: > >> 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 >> >> <https://groups.google.com/d/msgid/metamath/b30d4fdc-0f69-42fc-b99d-93ba02034a81n%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/4ae64dff-2206-4dd4-b04b-e57284250843n%40googlegroups.com.
