This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.

There are various instances of this issue that we get such as JAVAC’, JRE, ‘MVN’, JAR’ is not recognized as an internal or external command, operable program or batch file, ‘Java’ is ...

metals-vscode does a bunch of work to find a version of java which to run: It looks for a JAVA_HOME env variable; the JAVA_HOME that existed at the time when VS Code was started, I think Failing to ...