// *******************************************
import java.util.*;
class DirectoryEntry_List extends java.util.Vector {
  public DirectoryEntry_List() { super();   }

  void traverse_maxSize(IntegerRef m){
    for (ListIterator i=this.listIterator(); i.hasNext();) {
      DirectoryEntry de = (DirectoryEntry) i.next();
      de.traverse_maxSize(m);
    } 
  }
}