return JavaPlugin.getDefault().getWorkingCopyManager().getWorkingCopy(getEditorInput());
return JavaUI.getEditorInputJavaElement(getEditorInput());
	protected IJavaElement getInputJavaElement() {		return JavaPlugin.getDefault().getWorkingCopyManager().getWorkingCopy(getEditorInput());	}