Bug 111338 [implementation] new option causing error in org.eclipse.ui.editors
I picked up N20051001-0010 and it looks like a new compiler preference has added a compile error to org.eclipse.ui.editors. From my problems view: Severity Description Resource In Folder Location Creation Time Id 2 Unnecessary cast from Object to IEncodingSupport AbstractDecoratedTextEditor.java org.eclipse.ui.editors/src/org/eclipse/ui/texteditor line 348 October 3, 2005 10:32:56 AM 7034 PW
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/browsing/JavaBrowsingPart.java
void adjustInputAndSetSelection(Object o) {
		if (!(o instanceof IJavaElement)) {
			if (o == null)
				setInput(null);
			setSelection(StructuredSelection.EMPTY, true);
			return;
		}
		IJavaElement je= (IJavaElement)o;
		IJavaElement elementToSelect= getSuitableJavaElement(findElementToSelect(je));
		IJavaElement newInput= findInputForJavaElement(je);
		IJavaElement oldInput= null;
		if (getInput() instanceof IJavaElement)
			oldInput= (IJavaElement)getInput();
		if (elementToSelect == null && !isValidInput(newInput) && (newInput == null && !isAncestorOf(je, oldInput)))
			
			setInput(null);
		else if (mustSetNewInput(elementToSelect, oldInput, newInput)) {
			
			setInput(newInput);
			
			elementToSelect= getSuitableJavaElement(elementToSelect);
		}
		if (elementToSelect != null && elementToSelect.exists())
			setSelection(new StructuredSelection(elementToSelect), true);
		else
			setSelection(StructuredSelection.EMPTY, true);
	}
	/**
	 * Compute if a new input must be set.
	 *