Bug 44443 [Tasks] Problems View should 'filter' more efficiently
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/MarkerFilter.java
private static final String TAG_FILTER_ON_MARKER_LIMIT = "filterOnMarkerLimit"; 
	private static final String TAG_MARKER_LIMIT = "markerLimit"; 
	private static final String TAG_ON_RESOURCE = "onResource"; 
	private static final String TAG_SELECTED_TYPES = "selectedType"; 
	private static final String TAG_WORKING_SET = "workingSet"; 
	private static final String TAG_TYPES_DELIMITER = ":"; 
	
	static final int ON_ANY_RESOURCE = 0;
	static final int ON_SELECTED_RESOURCE_ONLY = 1;
	static final int ON_SELECTED_RESOURCE_AND_CHILDREN = 2;
	static final int ON_ANY_RESOURCE_OF_SAME_PROJECT = 3;
	static final int ON_WORKING_SET = 4;
	static final int DEFAULT_MARKER_LIMIT = 2000;
	static final boolean DEFAULT_FILTER_ON_MARKER_LIMIT = true;
	static final int DEFAULT_ON_RESOURCE = ON_ANY_RESOURCE;
	static final boolean DEFAULT_ACTIVATION_STATUS = true;
	protected List rootTypes = new ArrayList();
	protected List selectedTypes = new ArrayList();
	protected IWorkingSet workingSet;
	protected int onResource;
	protected boolean filterOnMarkerLimit;
	protected boolean enabled;
	protected int markerLimit;
	
	private MarkerTypesModel typesModel;
	
	private IResource[] focusResource;
	
	MarkerFilter(String[] rootTypes) {
		typesModel = new MarkerTypesModel();