https://www.rascal-mpl.org/docs/GettingStarted/DownloadAndInstallation/ does not mention which version of the JDK is needed in order for Rascal to run.
In case, the VS Code extension fails to setup the right JDK (see here), this can be helpful information for debugging and understanding.
The JDK is mentioned in the extension description (and here), but can be easily overlooked
https://www.rascal-mpl.org/docs/GettingStarted/DownloadAndInstallation/ does not mention which version of the JDK is needed in order for Rascal to run.
In case, the VS Code extension fails to setup the right JDK (see here), this can be helpful information for debugging and understanding.
The JDK is mentioned in the extension description (and here), but can be easily overlooked