diff jvmci/jdk.vm.ci.services/src/jdk/vm/ci/services/JVMCIClassLoaderFactory.java @ 23700:9e1235406b59

[Findbugs] various warnings reported for JVMCI sources (JDK-8159613)
author Doug Simon <doug.simon@oracle.com>
date Sat, 18 Jun 2016 13:19:01 +0200
parents f84a5ac3be22
children 450e0bafd83d
line wrap: on
line diff
--- a/jvmci/jdk.vm.ci.services/src/jdk/vm/ci/services/JVMCIClassLoaderFactory.java	Fri Jun 17 19:13:02 2016 +0200
+++ b/jvmci/jdk.vm.ci.services/src/jdk/vm/ci/services/JVMCIClassLoaderFactory.java	Sat Jun 18 13:19:01 2016 +0200
@@ -69,8 +69,8 @@
         File javaHome = new File(System.getProperty("java.home"));
         File lib = new File(javaHome, "lib");
         File jvmci = new File(lib, "jvmci");
-        if (!jvmci.exists()) {
-            throw new InternalError(jvmci + " does not exist");
+        if (!jvmci.isDirectory()) {
+            throw new InternalError(jvmci + " does not exist or is not a directory");
         }
 
         List<URL> urls = new ArrayList<>();