Bug 294303 [Markers] 'Queuing Viewer Updates' in Problems view
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/ExtendedMarkersView.java
*/
			protected void open(ISelection selection, boolean activate) {
				openSelectedMarkers();
			}
		};
	}
	/**
	 * Turn off all filters in the builder.
	 */
	void disableAllFilters() {
		generator.disableAllFilters();
	}
	/*
	 * (non-Javadoc)
	 * 
	 * @see org.eclipse.ui.part.WorkbenchPart#dispose()
	 */
	public void dispose() {
		builder.cancelUpdate();
		cancelQueuedUpdates();
		
		builder.dispose();
		generator.dispose();
		instanceCount--;
		if (clipboard != null)
			clipboard.dispose();
		/*
		 * IDEWorkbenchPlugin.getDefault().getPreferenceStore()
		 * .removePropertyChangeListener(preferenceListener);
		 */