java-language-server icon indicating copy to clipboard operation
java-language-server copied to clipboard

Published 20 hours ago • verified publisher icon georgewfraser

Allow setting JDK path via a java.home JSON setting.

Open brown opened this issue 2 years ago • 1 comments

Currently, the language server always infers the location of the JDK, either from JAVA_HOME or by searching in various directories that depend on the operating system.

This pull request adds the ability to set the JDK location explicitly via JSON.

brown avatar Jan 21 '23 21:01 brown