return JavaUI.getEditorInputJavaElement(getEditorInput());
IJavaElement je= JavaUI.getEditorInputJavaElement(getEditorInput()); if (je == null) je= JavaPlugin.getDefault().getWorkingCopyManager().getWorkingCopy(editorInput, false); return je;
	protected IJavaElement getInputJavaElement() {		IEditorInput editorInput= getEditorInput();		if (editorInput == null)			return null;		return JavaUI.getEditorInputJavaElement(getEditorInput());	}