if (editor != null && activate) editor.getEditorSite().getPage().activate(editor);
	protected void showMatch(Match match, int currentOffset, int currentLength) throws PartInitException {		IEditorPart editor= null;		JavaElementLine element= (JavaElementLine) match.getElement();		IJavaElement javaElement= element.getJavaElement();		try {			editor= EditorUtility.openInEditor(javaElement, false);		} catch (PartInitException e1) {			return;		} catch (JavaModelException e1) {			return;		}		if (editor instanceof ITextEditor) {			ITextEditor textEditor= (ITextEditor) editor;			textEditor.selectAndReveal(currentOffset, currentLength);		}	}