The internal method jdk.internal.misc.VM.getSavedSystemProperty() is the only way to get the value of a system property with the guarantee that it cannot have been modified by non-platform code calling System.setProperty(). This functionality is exposed by jdk.vm.ci.services.Services.getSavedProperty(String) for use in Graal to isolate Graal configuration from application code. This is useful functionality that should be made into a standard public API. For example System.getSavedProperty(String).