No help to configure the right JDK

[linuswagner]

Describe the bug

When trying to launch a Rascal shell in VS Code on a machine where the right JDK is installed but not configured correctly for Rascal to find, I encounter the Failed to start the Rascal REPL, check Rascal Output Window - Error: User setup required for jdk 11.

The documentation links to this. However, there is no help provided to correctly set up an existing JDK on my local machine (I'd assume, the plugin checks for the JAVA_HOME environment variable?).

Expected behavior
Get instructions how to correctly set up an existing JDK so that Rascal can discover it.

Screenshots

Desktop (please complete the following information):

• VS Code plugin v0.11.2

[linuswagner]

Related: It actually opens the settings if I select the user setup in the step before.
However, there are no settings to configure. The corresponding code seems weird as well.

[linuswagner]

I also don't have the folder from which it checks for available versions available. Is it possible that there are installations that don't rely on it being present?

[DavyLandman]

Yes, the custom JDK setting is not implemented yet, you're the first to notice that in a year ;) Could you give some information on how you got in this path? I assume the java detection noticed no installed java, and asked you for a way to solve it?

If you want, you can make a PR that adds the setting to the extension?

For context, normally we check regular places where java is defined (such as JAVA_HOME environment, java on the PATH, and our own ~/.jvm folder). Otherwise we offer the user to download java for them (and also keep it up to date).