Troubleshooting

Here is the list of troubles the user may encounter and recipes for dealing with them.

Message: Unsupported Java version: X

The extension shows this message when it finds out that the version of the JVM you use for running the TLA⁺ tools is lower than 1.8 (aka Java 8). You need to install (or configure if it's already installed) a JVM of a higher version.

You can find more information on how to do that here.

Message: Java executable not found. Check the Java Home setting.

The extension shows this message when it cannot find a JVM it could use to run the TLA⁺ tools. You need to either install a JVM or provide the path to an already installed JVM via the extension settings.

You can find more information on how to do that here.