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.
