Bug 44443 [Tasks] Problems View should 'filter' more efficiently
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/MarkerView.java
if (!newProjects.contains(oldProjects.get(i))) {
						return true;
					}
				}
			} else {
				return true;
			}
		} else {
			return true;
		}
		return false;
	}
	
	/**
	 * @param additions
	 * @param removals
	 * @param changes
	 */
	protected void itemsChanged(List additions, List removals, List changes) {
		Display display = getSite().getShell().getDisplay();
		
		if (display == null || display.isDisposed())
			return;
		getSite().getShell().getDisplay().asyncExec(new Runnable() {
			public void run() {
				checkMarkerLimit();
				updateTitle();
			}
		});
	}