Bug 5804 Bug in ClassFileEditor.getCorrespondingElement
protected IJavaElement getCorrespondingElement(IJavaElement element) { IJavaElement parent= JavaModelUtil.findParentOfKind(element, IJavaElement.CLASS_FILE); return (parent == this ? element : null); } 'this' is a ClassFileEditor, so parent will never be 'this'
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/ClassFileEditor.java
}
	
	/*
	 * 1GEPKT5: ITPJUI:Linux - Source in editor for external classes is editable
	 * Removed methods isSaveOnClosedNeeded and isDirty.
	 * Added method isEditable.
	 */
	/**
	 * @see AbstractTextEditor#isEditable()
	 */
	public boolean isEditable() {
		return false;
	}
	
	/*
	 * @see AbstractTextEditor#doSetInput(IEditorInput)
	 */
	protected void doSetInput(IEditorInput input) throws CoreException {
		if (input instanceof ExternalClassFileEditorInput) {
			ExternalClassFileEditorInput classFileInput= (ExternalClassFileEditorInput) input;
			IFile file= classFileInput.getFile();
			try {
				file.refreshLocal(IResource.DEPTH_INFINITE, null);
			} catch (CoreException x) {
				JavaPlugin.log(x);
			}
		}
		super.doSetInput(input);
	}
}