Bug 283555 [Markers] Configure Contents dialog: Types section should not have columns
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/TypesConfigurationArea.java
* @see org.eclipse.ui.internal.provisional.views.markers.TypesConfigurationArea.TypesEntry#hasChildren()
		 */
		public boolean hasChildren() {
			return children.size() > 0;
		}
	}
	private class MarkerTypeEntry extends TypesEntry {
		private CategoryEntry category;
		private MarkerType markerType;
		/**
		 * Create an instance of the receiver.
		 * 
		 * @param markerType
		 */
		public MarkerTypeEntry(MarkerType markerType) {
			this.markerType = markerType;
		}
		/*
		 * (non-Javadoc)
		 * 
		 * @see org.eclipse.ui.internal.provisional.views.markers.TypesConfigurationArea.TypesEntry#addElementsMatching(java.util.Collection,
		 *      java.util.Collection)
		 */
		public void addElementsMatching(Collection selectedTypes,
				Collection entries) {
			if (selectedTypes.contains(markerType))
				entries.add(this);
		}
		/*
		 * (non-Javadoc)