Bug 289599 [Preferences] PreferenceStore.setToDefault fires redundant PropertyChangeEvents
bundles/org.eclipse.jface/src/org/eclipse/jface/preference/PreferenceStore.java
public int getDefaultInt(String name) {
		return getInt(defaultProperties, name);
	}
	/*
	 * (non-Javadoc) Method declared on IPreferenceStore.
	 */
	public long getDefaultLong(String name) {
		return getLong(defaultProperties, name);
	}
	/*
	 * (non-Javadoc) Method declared on IPreferenceStore.
	 */
	public String getDefaultString(String name) {
		return getString(defaultProperties, name);
	}
	/*
	 * (non-Javadoc) Method declared on IPreferenceStore.
	 */
	public double getDouble(String name) {
		return getDouble(properties, name);
	}
	/**
	 * Helper function: gets double for a given name.
	 * 
	 * @param p
	 * @param name
	 * @return double
	 */
	private double getDouble(Properties p, String name) {
		String value = p != null ? p.getProperty(name) : null;