Bug 213486 [Markers] view descriptions wrong when grouped
I20071218-0800. When grouped the view says 'Filter matches 100 of xyz items' but below you see that there are many more items shown as the marker filter is applied per group.
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/provisional/views/markers/MarkerCategory.java
}
	/**
	 * Return the name of the receiver.
	 * 
	 * @return String
	 */
	public String getName() {
		return name;
	}
	/**
	 * Get the highest severity in the receiver.
	 * @return int
	 */
	int getHighestSeverity() {
		if(severity  >= 0)
			return severity;
		severity = 0;
		MarkerItem[] contents = getChildren();
		for (int i = 0; i < contents.length; i++) {
			if(contents[i].isConcrete()){
				int elementSeverity = contents[i].getAttributeValue(IMarker.SEVERITY, -1);
				if(elementSeverity > severity)
					severity = elementSeverity;
				if(severity == IMarker.SEVERITY_ERROR)
					return severity;
			}			
		}
		return severity;
	}
}