From e1a4011b02490e0abb9294a8bcd95d7523a12e84 Mon Sep 17 00:00:00 2001
From: Martin Lippert <mlippert@pivotal.io>
Date: Wed, 9 Sep 2020 11:36:39 +0200
Subject: [PATCH] added linux version of management module to recognize that
 while checking for a jre

---
 .../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 0261d5cb8..2d41adf26 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
@@ -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() {