--- old/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.serviceprovider/src/org/graalvm/compiler/serviceprovider/JavaVersionUtil.java 2019-03-28 07:37:37.196812950 +0100 +++ new/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.serviceprovider/src/org/graalvm/compiler/serviceprovider/JavaVersionUtil.java 2019-03-28 07:37:36.808810362 +0100 @@ -24,13 +24,15 @@ package org.graalvm.compiler.serviceprovider; +import jdk.vm.ci.services.Services; + /** * Interface to query which JDK version Graal is running on. */ public final class JavaVersionUtil { private static int getJavaSpecificationVersion() { - String value = System.getProperty("java.specification.version"); + String value = Services.getSavedProperties().get("java.specification.version"); if (value.startsWith("1.")) { value = value.substring(2); }