From 0f5d6f543282be25ac0a9d43c18165e21209264b Mon Sep 17 00:00:00 2001 From: Martin Lippert Date: Tue, 8 Sep 2020 13:28:35 +0200 Subject: [PATCH] check for jre takes management dylib into account for jdk >= 9 installs in case the jmod is not there --- .../org/springframework/tooling/ls/eclipse/commons/JRE.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/eclipse-language-servers/org.springframework.tooling.ls.eclipse.commons/src/org/springframework/tooling/ls/eclipse/commons/JRE.java b/eclipse-language-servers/org.springframework.tooling.ls.eclipse.commons/src/org/springframework/tooling/ls/eclipse/commons/JRE.java index 482e6b288..0261d5cb8 100644 --- a/eclipse-language-servers/org.springframework.tooling.ls.eclipse.commons/src/org/springframework/tooling/ls/eclipse/commons/JRE.java +++ b/eclipse-language-servers/org.springframework.tooling.ls.eclipse.commons/src/org/springframework/tooling/ls/eclipse/commons/JRE.java @@ -110,7 +110,8 @@ public class JRE { * java home is a JDK. */ private static final String JMOD_PATHS[] = { - "jmods/jdk.management.jmod" + "jmods/jdk.management.jmod", + "lib/libmanagement.dylib" }; private static boolean javaVersionNeedsToolsJar() {