122123124125126127128129130
public synchronized void applyTo(List target) throws Exception { ListIterator i = deltas_.listIterator(deltas_.size()); while (i.hasPrevious()) { Delta delta = (Delta)i.previous(); delta.patch(target); } }