I cannot open mmj2: mmj.pa.MMJException: E-UT-1502 Error

[Alihan Serim]

Hello, I am new to the Metamath and I was trying to set up the mmj2, however, I am getting the following error. I did everything said in https://github.com/digama0/mmj2/blob/master/INSTALL.md. Can someone help?

[Mázsa Péter]

Hi Alihan,

"the default Macro language 'js' does not exist"

I think you installed / already have a new version of Java, check your
version, e.g in Terminal:
> java -version
if the answer is not like
> openjdk version "11.0.19" 2023-04-18 LTS
then you should install the older Java 11 version, e.g. from here
https://jdk.java.net/archive/
Since you will have now two versions of Java on your machine, you
should instruct it to use this older version,
e.g. in case of a Mac make hidden files visible
> defaults write com.apple.Finder AppleShowAllFiles true
> killall Finder
find .zshrc under your user or create a new one, and edit it with
something like TextEdit / VS Code / nano , cf.
https://www.codejava.net/java-se/install-openjdk-18-on-macos
after that I would effectuate the changes to .zshrc
> source ~/.zshrc
then check your
> java -version
again.
(If you have ARM Mac like MacBook M1 or above, you should use the
11.0.19+7 Azul Zulu: 11.64.19 macOS ARM 64-bit v8 Java version from
here: https://www.azul.com/downloads/ )

I hope this will help you,
P.

On Thu, Jun 29, 2023 at 12:57 AM Alihan Serim <alihans...@gmail.com> wrote:
>
> Hello, I am new to the Metamath and I was trying to set up the mmj2, however, I am getting the following error. I did everything said in https://github.com/digama0/mmj2/blob/master/INSTALL.md. Can someone help?
>

> --
> 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/365859a0-cb1f-4335-9e39-cd9b78d070c9n%40googlegroups.com.