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
private MarkerFilter[] filters;
	private CheckboxTreeViewer typesViewer;
	private Button anyResourceButton;
	private Button anyResourceInSameProjectButton;
	private Button selectedResourceButton;
	private Button selectedResourceAndChildrenButton;
	private Button selectAllButton;
	private Button deselectAllButton;
	private WorkingSetGroup workingSetGroup;
	private boolean dirty = false;
	private CheckboxTableViewer filtersList;
	private MarkerFilter[] selectedFilters;
	private HashMap nodeToTypeMapping = new HashMap();
	private ITreeContentProvider typesContentProvider;
	/**
	 * Create a new instance of the receiver.
	 * 
	 * @param parentShell
	 * @param filtersList
	 */
	DialogMarkerFilter(Shell parentShell, MarkerFilter[] filtersList) {
		super(parentShell);
		setFilters(filtersList);
		setShellStyle(getShellStyle() | SWT.RESIZE);
	}
	/**
	 * Set the filters in the filtersList by copying them.
	 * 
	 * @param initialFilters
	 */