Bug 125205 Problems view grouping: Rename 'Category' to 'Marker type'
I20060124-1115 One of the problems view default goups is called 'Categories' (-> Group by Categories) It would be better to more specific here, as all contributed groupings somehow categorize markers What about 'Group by Marker type'?
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/ProblemView.java
* @return a message ready for display
	 */
	protected String updateSummarySelected(IStructuredSelection selection) {
		Collection selectionList;
		selectionList = new ArrayList();
		Iterator selectionIterator = selection.iterator();
		while (selectionIterator.hasNext()) {
			MarkerNode next = (MarkerNode) selectionIterator.next();
			if (next.isConcrete())
				selectionList.add(next);
		}
		return getSummary(new MarkerList(selectionList),
				"problem.statusSummarySelected"); 
	}
	/*
	 * (non-Javadoc)
	 * 
	 * @see org.eclipse.ui.views.markers.internal.MarkerView#getMarkerTypes()
	 */
	protected String[] getMarkerTypes() {
		return new String[] { IMarker.PROBLEM };
	}
	protected String getStaticContextId() {
		
		return PlatformUI.PLUGIN_ID + ".problem_view_context";
	}
	/*
	 * (non-Javadoc)
	 * 
	 * @see org.eclipse.ui.views.markers.internal.MarkerView#createFiltersDialog()