getTextWidget().showSelection(); fireSelectionChanged(); }
		public void run() {			// Check whether we are in a java code partition and the preference is enabled			final IPreferenceStore store= getPreferenceStore();			if (!store.getBoolean(PreferenceConstants.EDITOR_SUB_WORD_NAVIGATION)) {				super.run();				return;							}						final ISourceViewer viewer= getSourceViewer();			final IDocument document= viewer.getDocument();			fIterator.setText((CharacterIterator) new DocumentCharacterIterator(document));			int position= widgetOffset2ModelOffset(viewer, viewer.getTextWidget().getCaretOffset());						int previous= fIterator.preceding(position);			if (previous != BreakIterator.DONE)				setCaretPosition(previous);						}