Bug 293787 Markers view not filtering by workingsets
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/MarkerContentGenerator.java
Collection resourceCollection = new ArrayList();
		for (int i = 0; i < elements.length; i++) {
			if (elements[i] instanceof IResource) {
				resourceCollection.add(elements[i]);
			} else {
				addResources(resourceCollection,
						((ResourceMapping) elements[i]));
			}
		}
		selectedResources = new IResource[resourceCollection.size()];
		resourceCollection.toArray(selectedResources);
	}
	/**
	 * Update the receiver for a change in selection.
	 * 
	 * @param newElements
	 */
	void updateSelectedResource(Object[] newElements) {
		if (updateNeededForSelection(newElements)) {
			internalUpdateSelectedElements(newElements);
			requestMarkerUpdate();
		}
	}
	/**
	 * Return whether or not the list contains a resource that will require
	 * update.
	 * 
	 * @return boolean <code>true</code> if update is required.
	 */
	boolean updateNeededForSelection(Object[] newElements) {