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/wizards/buildpaths/newsourcepage/BuildPathAction.java
structSelection= StructuredSelection.EMPTY;
		}
		
		fCurrentSelection= structSelection;
		try {
			fContext.init(structSelection);
			
			fJavaProject= fContext.getJavaProject();
			setEnabled(fJavaProject != null && fOperation.isValid(fContext.getElements(), fContext.getTypes()));
		} catch (JavaModelException e) {
			JavaPlugin.log(e);
			setEnabled(false);
		}
	}
	
	/* (non-Javadoc)
	 * @see org.eclipse.jdt.internal.corext.buildpath.IClasspathInformationProvider#getSelection()
	 */
	public IStructuredSelection getSelection() {
		return fCurrentSelection;
	}
	/**
	 * Default getter of the Java project.
	 * 
	 * @return an Java project
	 */
	public IJavaProject getJavaProject() {
		return fJavaProject;
	}
	/**