public static String getProperty(String name, String defaultValue, boolean useHistoricalValue) {
		// prefer system properties, which enables uses to override preferences from the command-line
		String systemProperty = System.getProperty(name);
		if (systemProperty != null) {
			return systemProperty;
		}

		String currentValue = properties.getProperty(name);
		if (currentValue != null) {
			return currentValue;
		}

		if (!useHistoricalValue) {
			return defaultValue;
		}

		return previousProperties.getProperty(name, defaultValue);
	}
Get the property with the given name; if there is no property, return the defaultValue.
<p>
This version of <code>getProperty</code> will, when <code>useHistoricalValue</code> is true, look
for the given preference value in the last used installation of the application.
<p>
Note: all <code>getProperty(...)</code> methods will check {@link System#getProperty(String)}
for a value first.  This allows users to override preferences from the command-line.

@param name The name of the property for which to get a value
@param defaultValue The value to use if there is no value yet set for the given name
@param useHistoricalValue True signals to check the last used application installation for a 
       value for the given name <b>if that value has not yet been set</b>.
@return the property with the given name; if there is no property,
        return the defaultValue.
@see #getProperty(String)
@see #getProperty(String, String)
Ghidra/Framework/Generic/src/main/java/ghidra/framework/preferences/Preferences.java