That's the expected error when you run mmj2.jar without any arguments. Try running the bash script now.
On Sat, Mar 4, 2023 at 2:03 AM William Mitchell Jr <[email protected]> wrote: > 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 > <https://groups.google.com/d/msgid/metamath/4ae64dff-2206-4dd4-b04b-e57284250843n%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/CAFXXJStLwpZdKKKmzYRsqN8NE49eKSgY%3DzFCrkC6Z-yUdrSJag%40mail.gmail.com.
