Bug 44443 [Tasks] Problems View should 'filter' more efficiently
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/MarkerFilter.java
if (workingSetResource != null) {
			IPath resourcePath = workingSetResource.getFullPath();
	
			if (resourcePath.isPrefixOf(elementPath))
				return true;
		}
	
		return false;
	}
	/**
	 * @return the defined limit on the number of markers to be displayed.
	 */
	int getMarkerLimit() {
		return markerLimit;
	}
	/**
	 * Sets the limit on the number of markers to be displayed.
	 * 
	 * @param the new limit
	 */
	void setMarkerLimit(int markerLimit) {
		this.markerLimit = markerLimit;
	}
	/**
	 * @return <ul>
	 * <li><code>MarkerFilter.ON_ANY_RESOURCE</code> if showing items associated with any resource.</li>
	 * <li><code>MarkerFilter.ON_SELECTED_RESOURCE_ONLY</code> if showing items associated with
	 * the selected resource within the workbench.</li>
	 * <li><code>MarkerFilter.ON_SELECTED_RESOURCE_AND_CHILDREN</code> if showing items associated with
	 * the selected resource within the workbench and its children.</li>