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
Transfer[] dragTransfers= new Transfer[] {
			LocalSelectionTransfer.getInstance(),
			ResourceTransfer.getInstance()};
		TransferDragSourceListener[] dragListeners= new TransferDragSourceListener[] {
			new SelectionTransferDragAdapter(fViewer),
			new ResourceTransferDragAdapter(fViewer)
		};
		fViewer.addDragSupport(ops, dragTransfers, new JdtViewerDragAdapter(fViewer, dragListeners));
	}
	protected void fillActionBars(IActionBars actionBars) {
		IToolBarManager toolBar= actionBars.getToolBarManager();
		fillToolBar(toolBar);
		if (fHasWorkingSetFilter)
			fWorkingSetFilterActionGroup.fillActionBars(getViewSite().getActionBars());
		actionBars.updateActionBars();
		fActionGroups.fillActionBars(actionBars);
		if (fHasCustomFilter)
			fCustomFiltersActionGroup.fillActionBars(actionBars);
		IMenuManager menu= actionBars.getMenuManager();
		menu.add(fToggleLinkingAction);
	}
	
	public void setFocus() {
		fViewer.getControl().setFocus();
	}
	public void dispose() {
		if (fViewer != null) {
			getViewSite().getPage().removePostSelectionListener(this);
			getViewSite().getPage().removePartListener(fPartListener);