fProject.setOptions(map);
	protected void setOptions(Map map) {		if (fProject != null) {			firePropertyChangeEvents(fProject.getOptions(false), map);			fProject.setOptions(map);		} else {			JavaCore.setOptions((Hashtable) map);		}		} 