Bug 127629 [Markers] problems view: keep selection stable
I20050214-0010 1. Select a grouping (e.g. Java problem type) and select a marker inside 2. Switch to another grouping Selection is gone. Same when - changing filter - a build adds new marker (in a different file)
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/MarkerView.java
}
		} catch (CoreException e) {
			Util.log(e);
			return;
		}
	}
	protected abstract String getStaticContextId();
	/**
	 * Update the focus markers for the supplied elements.
	 * 
	 * @param elements
	 */
	void updateFocusMarkers(Object[] elements) {
		boolean updateNeeded = updateNeeded(focusElements, elements);
		if (updateNeeded) {
			focusElements = elements;
			refreshForFocusUpdate();
		}
	}
	private boolean updateNeeded(Object[] oldElements, Object[] newElements) {
		
		MarkerFilter[] filters = getEnabledFilters();
		boolean updateNeeded = false;
		for (int i = 0; i < filters.length; i++) {
			MarkerFilter filter = filters[i];
			if (!filter.isEnabled()) {
				continue;
			}
			int onResource = filter.getOnResource();
			if (onResource == MarkerFilter.ON_ANY