private void writeObject(java.io.ObjectOutputStream s) throws java.io.IOException {
   int n = count;
   SetIterator i = new SetIterator();
   s.defaultWriteObject();
   while (n-- != 0) s.writeObject(i.next());
 }