private synchronized void registerViewerUpdate(final TestElement testElement) {
public synchronized void registerViewerUpdate(final TestElement testElement) {
	private synchronized void registerViewerUpdate(final TestElement testElement) {		// update all parents too:		TestElement element= testElement;		do {			fNeedUpdate.add(element);			element= element.getParent();		} while (element != null);	}