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
*/
	public void addAllSubTypes(List types) {
		for (int i = 0; i < rootTypes.size(); i++) {
			MarkerType rootType = (MarkerType) rootTypes.get(i);
			addAllSubTypes(types, rootType);
		}
	}
	private void addAllSubTypes(List types, MarkerType type) {
		if (type == null) {
			return;
		}
		if (!types.contains(type)) {
			types.add(type);
		}
		MarkerType[] subTypes = type.getSubtypes();
		for (int i = 0; i < subTypes.length; i++) {
			addAllSubTypes(types, subTypes[i]);
		}
	}
	/**
	 * Adds all markers in the given set of resources to the given list
	 * 
	 * @param resultList
	 * @param resources
	 * @param markerTypeId
	 * @param depth
	 * @throws CoreException
	 */
	private List findMarkers(IResource[] resources, int depth, int limit,
			IProgressMonitor mon, boolean ignoreExceptions)