else if (element instanceof ISourceReference) {   try { ISourceRange range= ((ISourceReference)element).getSourceRange(); if (range != null) revealInEditor(part, range.getOffset(), range.getLength()); } catch (JavaModelException e) {  } }
	public static void revealInEditor(IEditorPart part, IJavaElement element) {		if (part == null)			return;				// Support for nested Java editor		IEditorSite site= part.getEditorSite();		if (site instanceof MultiPageEditorSite)			part= ((MultiPageEditorSite)site).getEditor();				if (element != null && part instanceof JavaEditor)			((JavaEditor) part).setSelection(element);	}