Bug 44443 [Tasks] Problems View should 'filter' more efficiently
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/MarkerView.java
IResource resource = taskListResourceAdapter.getAffectedResource((IAdaptable) object);
						if (resource != null) {
							resources.add(resource);
						}
					}
				}
			}
		}
		IResource[] focus = new IResource[resources.size()];
		resources.toArray(focus);
		updateFocusResource(focus);
	}
	void updateFocusResource(IResource[] resources) {
		boolean updateNeeded = updateNeeded(focusResources, resources);
		if (getFilter() != null && getFilter() instanceof MarkerFilter) {
			((MarkerFilter) getFilter()).setFocusResource(resources);
		}
		focusResources = resources;
		if (updateNeeded) {
			filtersChanged();
		}
	}
	
	private boolean updateNeeded(IResource[] oldResources, IResource[] newResources) {
		
		IFilter iFilter = getFilter();
		if (iFilter == null) {
			return false;
		}
		MarkerFilter filter = (MarkerFilter) iFilter;