Bug 289599 [Preferences] PreferenceStore.setToDefault fires redundant PropertyChangeEvents
bundles/org.eclipse.jface/src/org/eclipse/jface/preference/PreferenceStore.java
* (non-Javadoc) Method declared on IPreferenceStore.
	 */
	public void setToDefault(String name) {
		Object oldValue = properties.get(name);
		properties.remove(name);
		dirty = true;
		Object newValue = null;
		if (defaultProperties != null) {
			newValue = defaultProperties.get(name);
		}
		firePropertyChangeEvent(name, oldValue, newValue);
	}
	/*
	 * (non-Javadoc) Method declared on IPreferenceStore.
	 */
	public void setValue(String name, double value) {
		double oldValue = getDouble(name);
		if (oldValue != value) {
			setValue(properties, name, value);
			dirty = true;
			firePropertyChangeEvent(name, new Double(oldValue), new Double(
					value));
		}
	}
	/*
	 * (non-Javadoc) Method declared on IPreferenceStore.
	 */
	public void setValue(String name, float value) {
		float oldValue = getFloat(name);
		if (oldValue != value) {