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
* 
	 * @see ClasspathModifierQueries#getDefaultArchivesQuery(Shell)
	 * @see IClasspathInformationProvider#getExternalArchivesQuery()
	 */
	public IAddArchivesQuery getExternalArchivesQuery() throws JavaModelException {
		return ClasspathModifierQueries.getDefaultArchivesQuery(getShell());
	}
	/**
	 * Return an <code>IAddLibrariesQuery</code>.
	 * 
	 * @see ClasspathModifierQueries#getDefaultLibrariesQuery(Shell)
	 * @see IClasspathInformationProvider#getLibrariesQuery()
	 */
	public IAddLibrariesQuery getLibrariesQuery() throws JavaModelException {
		return ClasspathModifierQueries.getDefaultLibrariesQuery(getShell());
	}
	/**
	 * Does not do anything. Needs to be implemented if 
	 * resources should be deleted.
	 * 
	 * @see IClasspathInformationProvider#deleteCreatedResources()
	 */
	public void deleteCreatedResources() {
		
	}
	/**
	 * Handle the result by selecting the result elements or handle the exception if 
	 * the exception was not <code>null</code>.
	 */
	public void handleResult(List resultElements, CoreException exception, int operationType) {