News

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 ...