Bug 138359 [ProblemsView] Filters not restored on import
I have 2 problems view filters in my saved preferences. 1 is the default filter, changed to only work on the select item. 2 is a new filter, where the sev is Error. When created, it defaulted to "On working set" where the working set default was the Workspace Working set. I just created a new workspace in N20060425-0010, imported my preferences, and grabbed platform-ui from HEAD. None of the errors (for win32 and carbon) showed up, and when I checked my #2 filter, the working set has been changed to non-selected. PW
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/CachedMarkerBuilder.java
| IResourceChangeEvent.PRE_BUILD
						| IResourceChangeEvent.POST_BUILD);
	}
	/**
	 * Add the resources in resourceMapping to the resourceCollection
	 * 
	 * @param resourceCollection
	 * @param resourceMapping
	 */
	private void addResources(Collection resourceCollection,
			ResourceMapping resourceMapping) {
		try {
			ResourceTraversal[] traversals = resourceMapping.getTraversals(
					ResourceMappingContext.LOCAL_CONTEXT,
					new NullProgressMonitor());
			for (int i = 0; i < traversals.length; i++) {
				ResourceTraversal traversal = traversals[i];
				IResource[] result = traversal.getResources();
				for (int j = 0; j < result.length; j++) {
					resourceCollection.add(result[j]);
				}
			}
		} catch (CoreException e) {
			MarkerSupportInternalUtilities.handle(e);
		}
	}
	/**
	 * Return whether the filters are being ANDed or ORed.
	 * 
	 * @return boolean