# HG changeset patch # User Doug Simon # Date 1475611327 -7200 # Node ID 450e0bafd83d3a30181f4306d932975c3df68b12 # Parent d66c74920c437ca5147508444061f41b44cd5af6 use VM.getSavedProperty instead of System.getProperty for "java.home" diff -r d66c74920c43 -r 450e0bafd83d jvmci/jdk.vm.ci.services/src/jdk/vm/ci/services/JVMCIClassLoaderFactory.java --- a/jvmci/jdk.vm.ci.services/src/jdk/vm/ci/services/JVMCIClassLoaderFactory.java Tue Oct 04 21:58:49 2016 +0200 +++ b/jvmci/jdk.vm.ci.services/src/jdk/vm/ci/services/JVMCIClassLoaderFactory.java Tue Oct 04 22:02:07 2016 +0200 @@ -66,7 +66,7 @@ * Gets the URLs for lib/jvmci/*.jar. */ private static URL[] getJVMCIJarsUrls() { - File javaHome = new File(System.getProperty("java.home")); + File javaHome = new File(VM.getSavedProperty("java.home")); File lib = new File(javaHome, "lib"); File jvmci = new File(lib, "jvmci"); if (!jvmci.isDirectory()) {