Method getSavedProperty

unused/sun/misc/VM.java:254–260

Returns the system property of the specified key saved at system initialization time. This method should only be used for the system properties that are not changed during runtime. It accesses a private copy of the system properties so that user's locking of the system properties object will not ca

(String key)

     *
     */
    public static String getSavedProperty(String key) {
    	if(org.opensourcephysics.js.JSUtil.isJS)return "SwingJS environment.";
        if (savedProps.isEmpty())
            throw new IllegalStateException("Should be non-empty if initialized");

        return savedProps.getProperty(key);
    }

    // TODO: the Property Management needs to be refactored and
    // the appropriate prop keys need to be accessible to the