123124125126127128129130131132133
{ ListIterator i = deltas_.listIterator(deltas_.size()); while (i.hasPrevious()) { Delta delta = (Delta)i.previous(); delta.patch(target); } } /* * (non-Javadoc)