if (WorkInProgressPreferencePage.synchronizeOutlineOnCursorMove()) fUpdater= new OutlinePageSelectionUpdater();
	public JavaEditor() {		super();		JavaTextTools textTools= JavaPlugin.getDefault().getJavaTextTools();		setSourceViewerConfiguration(new JavaSourceViewerConfiguration(textTools, this));		setRangeIndicator(new DefaultRangeIndicator());		setPreferenceStore(JavaPlugin.getDefault().getPreferenceStore());	}