viewer.remove(toRemove.toArray()); for (Iterator iter= toAdd.keySet().iterator(); iter.hasNext();) { Object parent= iter.next(); HashSet children= (HashSet) toAdd.get(parent); viewer.add(parent, children.toArray()); } for (Iterator elementsToUpdate= toUpdate.iterator(); elementsToUpdate.hasNext();) { viewer.refresh(elementsToUpdate.next()); }
	public synchronized void elementsChanged(Object[] updatedElements) {		if (fResult == null)			return;		for (int i= 0; i < updatedElements.length; i++) {			if (getPage().getDisplayedMatchCount(updatedElements[i]) > 0)				insert(updatedElements[i], true);			else				remove(updatedElements[i], true);		}	}