code: public void setPos(Object p) {
          Object[] a = (Object[]) p;
          buf = (char[]) a[0];
          int[] v = (int[]) a[1];
          pos.setIndex(v[0]);
          bufPos = v[1];
      }
docs: Restores this iterator to the position it had when getPos()
  returned the given object.
  @param p a position object previously returned by getPos()