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
case SELECT_ALL_ID:
			typesViewer.setAllChecked(true);
			break;
		case DESELECT_ALL_ID:
			typesViewer.setAllChecked(false);
			break;
		case SELECT_ALL_FILTERS_ID:
			filtersList.setAllChecked(true);
			break;
		case DESELECT_ALL_FILTERS_ID:
			filtersList.setAllChecked(false);
			break;
		default:
			break;
		}
		super.buttonPressed(buttonId);
	}
	/**
	 * Method declared on Window.
	 */
	protected void configureShell(Shell newShell) {
		super.configureShell(newShell);
		newShell.setText(MarkerMessages.filtersDialog_title);
	}
	protected void createResetArea(Composite parent) {
		Button reset = new Button(parent, SWT.PUSH);
		reset.setText(MarkerMessages.restoreDefaults_text);
		reset.setData(new Integer(RESET_ID));
		reset.addSelectionListener(new SelectionAdapter() {
			public void widgetSelected(SelectionEvent event) {