Bug 289599 [Preferences] PreferenceStore.setToDefault fires redundant PropertyChangeEvents
bundles/org.eclipse.jface/src/org/eclipse/jface/preference/PreferenceStore.java
ival = new Float(value).floatValue();
		} catch (NumberFormatException e) {
		}
		return ival;
	}
	/*
	 * (non-Javadoc) Method declared on IPreferenceStore.
	 */
	public int getInt(String name) {
		return getInt(properties, name);
	}
	/**
	 * Helper function: gets int for a given name.
	 * 
	 * @param p
	 * @param name
	 * @return int
	 */
	private int getInt(Properties p, String name) {
		String value = p != null ? p.getProperty(name) : null;
		if (value == null) {
			return INT_DEFAULT_DEFAULT;
		}
		int ival = 0;
		try {
			ival = Integer.parseInt(value);
		} catch (NumberFormatException e) {
		}
		return ival;
	}