/** Adds all elements of the NamedIterator to this. */
 public void add(NamedIterator it) {
   it.reset();
   synchronized (this) {
     while (it.hasMore()) {
       data.addElement(it.next());
     }
   }
 }