Oops, you already sent the result. This is the nashorn error, same as for JDK 18+.
On Sat, Mar 4, 2023 at 3:18 AM Mario Carneiro <di.g...@gmail.com> wrote: > 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 <wdm...@gmail.com> > 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 di....@gmail.com 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 <wdm...@gmail.com> >>> 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 di....@gmail.com 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 <wdm...@gmail.com> >>>>> 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 di....@gmail.com wrote: >>>>>> >>>>>>> what is the regular output? >>>>>>> >>>>>>> On Fri, Mar 3, 2023 at 11:21 PM William Mitchell Jr < >>>>>>> wdm...@gmail.com> 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 di....@gmail.com >>>>>>>> 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 < >>>>>>>>> wdm...@gmail.com> 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 di....@gmail.com >>>>>>>>>>> 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 < >>>>>>>>>>>> winterk...@gmail.com> wrote: >>>>>>>>>>>> >>>>>>>>>>>>> >>>>>>>>>>>>> On Friday, 3 March 2023 at 22:41:54 UTC wdm...@gmail.com >>>>>>>>>>>>> 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 metamath+u...@googlegroups.com. >>>>>>>>>>>>> >>>>>>>>>>>> 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 metamath+u...@googlegroups.com. >>>>>>>>>> >>>>>>>>> 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 metamath+u...@googlegroups.com. >>>>>>>> >>>>>>> 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 metamath+u...@googlegroups.com. >>>>>> >>>>> 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 metamath+u...@googlegroups.com. >>>> >>> 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 metamath+unsubscr...@googlegroups.com. >> 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 metamath+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/CAFXXJStMgKKyQfmTm8f_j7rcyDQhKGRyTkMv_tTbGmZ-NH0BcQ%40mail.gmail.com.