Bug 100787 [search] JavaSearchEditorOpener holds onto last used editor
RC3 - do a search - open the search result - close all editors observe: JavaSearchEditorOpener holds onto the last used editor to open a match. Although this is not a leak we should try to not hold onto closed editors.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/search/JavaSearchEditorOpener.java
} else {
			IClassFile cf= getClassFile(element);
			if (cf != null)
				return showInEditor(wbPage, new InternalClassFileEditorInput(cf), JavaUI.ID_CF_EDITOR);
		}
		return null;
	}
	private IFile getFile(Object element) throws JavaModelException {
		if (element instanceof IFile)
			return (IFile) element;
		if (element instanceof IJavaElement) {
			IJavaElement jElement= (IJavaElement) element;
			ICompilationUnit cu= (ICompilationUnit) jElement.getAncestor(IJavaElement.COMPILATION_UNIT);
			if (cu != null) {
				return (IFile) cu.getCorrespondingResource();
			}
			IClassFile cf= (IClassFile) jElement.getAncestor(IJavaElement.CLASS_FILE);
			if (cf != null)
				return (IFile) cf.getCorrespondingResource();
		}
		return null;
	}
	private String getEditorID(IFile file) throws PartInitException {
		IEditorDescriptor desc= IDE.getEditorDescriptor(file);
		if (desc == null)
			return JavaPlugin.getDefault().getWorkbench().getEditorRegistry().findEditor(IEditorRegistry.SYSTEM_EXTERNAL_EDITOR_ID).getId();
		else
			return desc.getId();
	}
	private boolean isPinned(IEditorPart editor) {