Bug 127289 [Markers] SystemFilter and group selection state not preserved
We are not preserving the selection state of the system filters or which group is selected.
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/MarkerFilter.java
throws CoreException {
		if (resources == null) {
			return Collections.EMPTY_LIST;
		}
		List resultList = new ArrayList(resources.length * 2);
		
		
		
		
		HashSet typesToSearch = new HashSet(selectedTypes.size());
		
		
		HashSet includeAllSubtypes = new HashSet(selectedTypes.size());
		typesToSearch.addAll(selectedTypes);
		Iterator iter = selectedTypes.iterator();
		while (iter.hasNext()) {
			MarkerType type = (MarkerType) iter.next();
			Collection subtypes = Arrays.asList(type.getAllSubTypes());
			if (selectedTypes.containsAll(subtypes)) {
				typesToSearch.removeAll(subtypes);
				includeAllSubtypes.add(type);
			}
		}
		mon.beginTask(MarkerMessages.MarkerFilter_searching, typesToSearch
				.size()
				* resources.length);
		
		
		HashSet resourcesToSearch = new HashSet();