void predecessorExecuted(Iterator iter, int delta) { while(iter.hasNext()) { TextEdit edit= (TextEdit)iter.next();
void predecessorExecuted(List executedEdits, TextEdit last, int delta) {     for (int i= executedEdits.size() - 1 - getNumberOfChildren(); i >= 0; i--) { TextEdit edit= (TextEdit)executedEdits.get(i);
	/* 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);			}		}	}