Bug 127629 [Markers] problems view: keep selection stable
I20050214-0010 1. Select a grouping (e.g. Java problem type) and select a marker inside 2. Switch to another grouping Selection is gone. Same when - changing filter - a build adds new marker (in a different file)
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/MarkerView.java
private MarkerFilter[] markerFilters = new MarkerFilter[0];
	
	private MarkerFilter[] enabledFilters = null;
	private MenuManager filtersMenu;
	private MenuManager showInMenu;
	private IPropertyChangeListener workingSetListener;
	private MarkerAdapter adapter;
	private IPropertyChangeListener preferenceListener;
	/**
	 * Create a new instance of the receiver,
	 */
	public MarkerView() {
		super();
		adapter = new MarkerAdapter(this);
		preferenceListener = new IPropertyChangeListener() {
			/*
			 * (non-Javadoc)
			 * 
			 * @see org.eclipse.jface.util.IPropertyChangeListener#propertyChange(org.eclipse.jface.util.PropertyChangeEvent)
			 */
			public void propertyChange(PropertyChangeEvent event) {
				if (event.getProperty().equals(getFiltersPreferenceName())) {
					loadFiltersPreferences();
					clearEnabledFilters();
					refreshForFocusUpdate();
				}
			}
		};
		IDEWorkbenchPlugin.getDefault().getPreferenceStore()