6263646566676869707172
int nUndos = size - newSize; while(nUndos-- > 0) { Undo undo_object = popUndo(); undo_object.undo(); } } public String toString() {