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 false;
		}
		
		/**
		 * Return whether the given saveable contains any resources that
		 * are descendants of the root resources.
		 * @param saveable the saveable
		 * @return whether the given saveable contains any resources that
		 * are descendants of the root resources
		 */
		private boolean isDescendantOfRoots(Saveable saveable) {
			
			ResourceMapping mapping = ResourceUtil.getResourceMapping(saveable);
			if (mapping != null) {
				try {
					ResourceTraversal[] traversals = mapping.getTraversals(
							ResourceMappingContext.LOCAL_CONTEXT, null);
					for (int i = 0; i < traversals.length; i++) {
						ResourceTraversal traversal = traversals[i];
						IResource[] resources = traversal.getResources();
						for (int j = 0; j < resources.length; j++) {
							IResource resource = resources[j];
							if (isDescendantOfRoots(resource)) {
								return true;
							}
						}
					}
				} catch (CoreException e) {
					IDEWorkbenchPlugin
							.log(