Bug 44443 [Tasks] Problems View should 'filter' more efficiently
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/DialogMarkerFilter.java
/* (non-Javadoc)
		 * @see org.eclipse.jface.viewers.ITableLabelProvider#getColumnImage(java.lang.Object, int)
		 */
		public Image getColumnImage(Object element, int columnIndex) {
			return null;
		}
		/* (non-Javadoc)
		 * @see org.eclipse.jface.viewers.ITableLabelProvider#getColumnText(java.lang.Object, int)
		 */
		public String getColumnText(Object element, int columnIndex) {
			if (!(element instanceof MarkerType)) {
				return ""; 
			}
			MarkerType type = (MarkerType) element;
			if (columnIndex == 0) {
				return type.getLabel();
			}
			if (columnIndex == 1) {
				String superTypes = ""; 
				MarkerType[] supers = type.getSupertypes();
				for (int i = 0; i < supers.length; i++) {
					superTypes += supers[i].getLabel();
					if (i < supers.length - 1) {
						superTypes += "; "; 
					}
				}