Bug 289599 [Preferences] PreferenceStore.setToDefault fires redundant PropertyChangeEvents
bundles/org.eclipse.jface/src/org/eclipse/jface/preference/PreferenceStore.java
* @exception java.io.IOException
	 *                if there is a problem saving this store
	 */
	public void save(OutputStream out, String header) throws IOException {
		properties.store(out, header);
		dirty = false;
	}
	/*
	 * (non-Javadoc) Method declared on IPreferenceStore.
	 */
	public void setDefault(String name, double value) {
		setValue(defaultProperties, name, value);
	}
	/*
	 * (non-Javadoc) Method declared on IPreferenceStore.
	 */
	public void setDefault(String name, float value) {
		setValue(defaultProperties, name, value);
	}
	/*
	 * (non-Javadoc) Method declared on IPreferenceStore.
	 */
	public void setDefault(String name, int value) {
		setValue(defaultProperties, name, value);
	}
	/*
	 * (non-Javadoc) Method declared on IPreferenceStore.
	 */
	public void setDefault(String name, long value) {
		setValue(defaultProperties, name, value);