Bug 315281 update copyrights for 3.6
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/MarkerContentGenerator.java
/**
	 * Update the focus resources from list. If there is an update required
	 * return <code>true</code>. This method assumes that there are filters on
	 * resources enabled.
	 * 
	 * @param elements
	 */
	void internalUpdateSelectedElements(Object[] elements) {
		Collection resourceCollection = new ArrayList();
		for (int i = 0; i < elements.length; i++) {
			if (elements[i] instanceof IResource) {
				resourceCollection.add(elements[i]);
			} else {
				MarkerResourceUtil.addResources(resourceCollection,
						((ResourceMapping) elements[i]));
			}
		}
		IResource[] newSelection = new IResource[resourceCollection.size()];
		resourceCollection.toArray(newSelection);
		selectedResources = newSelection;
	}
	/**
	 * Update the receiver for a change in selection.
	 * 
	 * @param newElements
	 */
	void updateSelectedResource(Object[] newElements) {
		if (updateNeededForSelection(newElements)) {
			internalUpdateSelectedElements(newElements);