if (getSelectionProvider() == null) return;
	protected void selectionChanged() {		ISourceReference element= computeHighlightRangeSourceReference();		if (PreferenceConstants.getPreferenceStore().getBoolean(PreferenceConstants.EDITOR_SYNC_OUTLINE_ON_CURSOR_MOVE))			synchronizeOutlinePage(element);		setSelection(element, false);		updateStatusLine();	}