hasSupportedJavaPlatforms() fixed for JDK 9+

thurka · thurka · commit 503645c04c34 · 2019-05-10T13:53:44.000+02:00
diff --git a/visualvm/profiler/src/org/graalvm/visualvm/profiler/ProfilerSupport.java b/visualvm/profiler/src/org/graalvm/visualvm/profiler/ProfilerSupport.java
@@ -116,6 +116,12 @@ public boolean hasSupportedJavaPlatforms() {
             String code = "jdk1" + (5 + i); // NOI18N
             if (supportsProfiling(code, 32) || supportsProfiling(code, 64)) return true;
         }
+        String code = "jdk100"; // NOI18N
+        if (supportsProfiling(code, 32) || supportsProfiling(code, 64)) return true;
+        code = "jdk110"; // NOI18N
+        if (supportsProfiling(code, 32) || supportsProfiling(code, 64)) return true;
+        code = "jdk120"; // NOI18N
+        if (supportsProfiling(code, 32) || supportsProfiling(code, 64)) return true;
         return false;
     }
     

Original file line number	Diff line number	Diff line change
`@@ -116,6 +116,12 @@ public boolean hasSupportedJavaPlatforms() {`
`116`	`116`	`String code = "jdk1" + (5 + i); // NOI18N`
`117`	`117`	`if (supportsProfiling(code, 32) \|\| supportsProfiling(code, 64)) return true;`
`118`	`118`	`}`
	`119`	`+ String code = "jdk100"; // NOI18N`
	`120`	`+ if (supportsProfiling(code, 32) \|\| supportsProfiling(code, 64)) return true;`
	`121`	`+ code = "jdk110"; // NOI18N`
	`122`	`+ if (supportsProfiling(code, 32) \|\| supportsProfiling(code, 64)) return true;`
	`123`	`+ code = "jdk120"; // NOI18N`
	`124`	`+ if (supportsProfiling(code, 32) \|\| supportsProfiling(code, 64)) return true;`
`119`	`125`	`return false;`
`120`	`126`	`}`
`121`	`127`