public void elementsChanged(Object[] updatedElements) {
public synchronized void elementsChanged(Object[] updatedElements) {
	public void elementsChanged(Object[] updatedElements) {		for (int i= 0; i < updatedElements.length; i++) {			if (fResult.getMatchCount(updatedElements[i]) > 0)				insert(updatedElements[i], true);			else				remove(updatedElements[i], true);		}	}