Bug 289599 [Preferences] PreferenceStore.setToDefault fires redundant PropertyChangeEvents
bundles/org.eclipse.jface/src/org/eclipse/jface/preference/PreferenceStore.java
p.put(name, Double.toString(value));
	}
	/**
	 * Helper method: sets value for a given name.
	 * 
	 * @param p
	 * @param name
	 * @param value
	 */
	private void setValue(Properties p, String name, float value) {
		Assert.isTrue(p != null);
		p.put(name, Float.toString(value));
	}
	/**
	 * Helper method: sets value for a given name.
	 * 
	 * @param p
	 * @param name
	 * @param value
	 */
	private void setValue(Properties p, String name, int value) {
		Assert.isTrue(p != null);
		p.put(name, Integer.toString(value));
	}
	/**
	 * Helper method: sets the value for a given name.
	 * 
	 * @param p
	 * @param name
	 * @param value