Fix #4426: preserve JDK_HOME priority when sorting JDKs#4427

shblue21 wants to merge 1 commit into

redhat-developer:mainredhat-developer/vscode-java:mainfrom

shblue21:fix-jdk-home-priorityshblue21/vscode-java:fix-jdk-home-priorityCopy head branch name to clipboard