Bug 173248 [IDE] Failure in IDE.saveAll reports "An error has occurred when closing the workbench...
I20070206-0010. Failure in IDE.saveAll reports "An error has occurred when closing the workbench...
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/ide/IDE.java
}
		
		/**
		 * Return whether the given dirty editor part is editing resources that are
		 * descendants of the given roots.
		 * 
		 * @param roots the root resources
		 * @param part the dirty editor part
		 * @return whether the given dirty editor part is editing resources that are
		 *         descendants of the given roots
		 */
		private boolean isEditingDescendantOf(IEditorPart part) {
			IFile file = ResourceUtil.getFile(part.getEditorInput());
			if (file != null) {
				return isDescendantOfRoots(file);
			}
			return false;
		}
		
	}
	
	/**
	 * Block instantiation.
	 */
	private IDE() {
		
	}
	/**
	 * Returns the marker help registry for the workbench.
	 *