addFromStream(getDefaultsAsStream(), false);
addFromStream(getDefaultsAsStream(), false, true);
	public void restoreDefaults() throws CoreException {		clear();		addFromStream(getDefaultsAsStream(), false);	}