for (Iterator i = positions.iterator(); i.hasNext();) { UndoPosRef undoPosRef = (UndoPosRef) i.next(); undoPosRef.reset(); }   Collections.sort(marks);
  protected void updateUndoPositions(Vector positions, int offset, int length)  {    // We do nothing here.  }