List children= edit.getChildren(); if (children != null) { predecessorExecuted(children.iterator(), delta); }
if (edit == last) return;
	/* package */ void predecessorExecuted(Iterator iter, int delta) {		while(iter.hasNext()) {			TextEdit edit= (TextEdit)iter.next();			edit.predecessorExecuted(delta);			List children= edit.getChildren();			if (children != null) {				predecessorExecuted(children.iterator(), delta);			}		}	}