Bug 293787 Markers view not filtering by workingsets
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/MarkerContentGenerator.java
return ids;
	}
	/**
	 * Return the name for the receiver.
	 * 
	 * @return String
	 */
	String getName() {
		return generatorDescriptor.getName();
	}
	/**
	 * Return the type for typeId.
	 * 
	 * @param typeId
	 * @return {@link MarkerType} or <code>null</code> if it is not found.
	 */
	MarkerType getType(String typeId) {
		return generatorDescriptor.getType(typeId);
	}
	/**
	 * Select the given MarkerEntry
	 * 	@return <code>true</code> if it matches all enabled filters 
	 */
	boolean select(MarkerEntry entry) {
		 Collection enabledFilters=getEnabledFilters();
		IResource[] resources =getSelectedResources();
		boolean andFilters = andFilters();
		if (enabledFilters.size() > 0) {
			Iterator filtersIterator = enabledFilters.iterator();
			if (andFilters) {