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
protected boolean hasWorkingSetFilter() {
		return fHasWorkingSetFilter;
	}
	protected void setOpenEditorGroup(OpenEditorActionGroup openEditorGroup) {
		fOpenEditorGroup= openEditorGroup;
	}
	protected OpenEditorActionGroup getOpenEditorGroup() {
		return fOpenEditorGroup;
	}
	protected BuildActionGroup getBuildActionGroup() {
		return fBuildActionGroup;
	}
	protected CCPActionGroup getCCPActionGroup() {
		return fCCPActionGroup;
	}
	private boolean linkBrowsingViewSelectionToEditor() {
		return isLinkingEnabled();
	}
	public void setLinkingEnabled(boolean enabled) {
		fLinkingEnabled= enabled;
		PreferenceConstants.getPreferenceStore().setValue(getLinkToEditorKey(), enabled);
		if (enabled) {
			IEditorPart editor = getSite().getPage().getActiveEditor();
			if (editor != null) {
				setSelectionFromEditor(editor);
			}
		}
	}
}