Bug 131022 [Markers] Filters view shows duplicate marker when super different from problem marker
I have defined a custom marker called validationmarker whose super type is problemmarker. I have another custom marker called ejbvalidationmarker who super type is validationmarker and not problemmarker. When i launch the Filter dialog from the problems view I see 2 check boxes for the same ejbvalidationmarker with one selected and one unselected. The validationmaker shows up as only one check box. Is there a problem in the check box table view in the Filters dialog ? Or is the requirement that all markers should always have the super type as the core problemmaker ?
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/DialogMarkerFilter.java
* (non-Javadoc)
		 * 
		 * @see org.eclipse.ui.views.markers.internal.DialogMarkerFilter.AbstractNode#isCategory()
		 */
		public boolean isCategory() {
			return false;
		}
		/**
		 * Return the marker type this is wrapping
		 * 
		 * @return Object
		 */
		public Object getMarkerType() {
			return type;
		}
	}
	/**
	 * The MarkerCategory is a data type to represent the categories in the tree
	 * view.
	 * 
	 */
	private class MarkerCategory extends AbstractNode {
		String name;
		Collection types = new ArrayList();
		/**
		 * Create a new instance of the receiver with name categoryName.
		 * 
		 * @param categoryName
		 */
		public MarkerCategory(String categoryName) {