projectionDisabled();
	public void projectionEnabled() {		if (fEditor instanceof JavaEditor) {			initialize();			fElementListener= new ElementChangedListener();			JavaCore.addElementChangedListener(fElementListener);		}	}