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/ExtendedMarkersView.java
defaultGeneratorIds = new String[tokens.countTokens()];
			for (int i = 0; i < defaultGeneratorIds.length; i++) {
				defaultGeneratorIds[i] = tokens.nextToken();
			}
		}
	}
	/**
	 * Return the ids of the generators specified for the receiver.
	 * 
	 * @return String[]
	 */
	String[] getGeneratorIds() {
		return defaultGeneratorIds;
	}
	/**
	 * Turn off all filters in the builder.
	 */
	void disableAllFilters() {
		builder.disableAllFilters();
	}
	/**
	 * Return the builder for the receiver.
	 * 
	 * @return CachedMarkerBuilder
	 */
	CachedMarkerBuilder getBuilder() {
		return builder;
	}
}