Bug 44443 [Tasks] Problems View should 'filter' more efficiently
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/TableContentProvider.java
* @see org.eclipse.jface.viewers.IContentProvider#dispose()
	 */
	public void dispose() {
		provider.removeItemsChangedListener(this);
	}
	/* (non-Javadoc)
	 * @see org.eclipse.jface.viewers.IContentProvider#inputChanged(org.eclipse.jface.viewers.Viewer, java.lang.Object, java.lang.Object)
	 */
	public void inputChanged(Viewer viewer, Object oldInput, Object newInput) {
		if (viewer != null && viewer instanceof TableViewer) {
			this.viewer = (TableViewer) viewer;
		}
	}
	/* (non-Javadoc)
	 * @see org.eclipse.ui.views.internal.tableview.IItemsChangedListener#itemsChanged(java.util.List, java.util.List, java.util.List)
	 */
	public void itemsChanged(final List additions, final List removals, final List changes) {
		if (viewer != null) {
			site.getShell().getDisplay().asyncExec(new Runnable() {
				public void run() {
					updateViewer(additions, removals, changes);
				}
			});
		}
	}
	/**
	 * Updates the viewer given the lists of added, removed, and changes 
	 * markers. This is called inside an syncExec.
	 */
	private void updateViewer(List additions, List removals, List changes) {