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