added linux version of management module to recognize that while checking for a jre

2020-09-09 11:36:39 +02:00
parent 0613fa41ee
commit e1a4011b02
1 changed files with 2 additions and 1 deletions
--- 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
@@ -111,7 +111,8 @@ public class JRE {
 	 */
 	private static final String JMOD_PATHS[] = {
 			"jmods/jdk.management.jmod",
-			"lib/libmanagement.dylib"
+			"lib/libmanagement.dylib",
+			"lib/libmanagement.so"
 	};

 	private static boolean javaVersionNeedsToolsJar() {