int previous= fIterator.preceding(position);
int previous= findPreviousPosition(position);
		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);				getTextWidget().showSelection();				fireSelectionChanged();			}						}