Issues with Java versions higher than 8/1.8 were already reported in https://groups.google.com/g/metamath/c/3kN15fc2MdY and https://groups.google.com/g/metamath/c/BzdukfcgZqM/m/pLkfyVqNAwAJ, but I think they were not fixed (in the officially available version). Therefore, mmj2 should be used with Java 1.8 only.
On Tuesday, September 21, 2021 at 12:23:33 AM UTC+2 [email protected] wrote: > Java 13 seemed to be the problem. > This tells how to determine what versions you have installed, and how to > choose one: > > https://stackoverflow.com/questions/21964709/how-to-set-or-change-the-default-java-jdk-version-on-macos > > Choosing Java 1.8 made everything better. > > --Brian > > -- 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/b503cfd2-146c-405d-b20e-6dfd7433a492n%40googlegroups.com.
