Bug 9818 Java Browsing: Editor with non-java resource flushes views
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/browsing/JavaBrowsingPart.java
return ((IWorkingCopy)cu).getOriginal(element);
			else
				return element;
		}
	}
	/**
	 * @see JavaEditor#getElementAt(int)
	 */
	protected IJavaElement getElementForInputAt(IEditorInput input, int offset) {
		if (input instanceof IClassFileEditorInput) {
			try {
				return ((IClassFileEditorInput)input).getClassFile().getElementAt(offset);
			} catch (JavaModelException ex) {
				return null;
			}
		}
		IWorkingCopyManager manager= JavaPlugin.getDefault().getWorkingCopyManager();
		ICompilationUnit unit= manager.getWorkingCopy(input);
		if (unit != null)
			synchronized (unit) {
				try {
					unit.reconcile();
					return unit.getElementAt(offset);
				} catch (JavaModelException x) {
				}
			}
		return null;
	}
}