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
*         <code>false</code>.
	 */
	boolean isDirty() {
		return dirty;
	}
	/**
	 * Marks the dialog as dirty.
	 */
	void markDirty() {
		dirty = true;
	}
	/**
	 * Set the marker filter.
	 * 
	 * @param newFilter
	 */
	public void setFilter(MarkerFilter newFilter) {
		setFilters(new MarkerFilter[] { newFilter });
		updateUIFromFilter();
	}
	/**
	 * @return the MarkerFilter associated with the dialog.
	 */
	public MarkerFilter[] getFilters() {
		return filters;
	}
	/**
	 * A selection has occured on one of the checkboxes or combos. Update.
	 * 
	 */