// *******************************************
 class Directory extends Mode {
  protected DirectoryEntry_List entries;
  public DirectoryEntry_List get_entries() { return entries;   }
  public void set_entries(DirectoryEntry_List new_entries) { entries = new_entries;   }
  public Directory() { super();   }
  public Directory(DirectoryEntry_List entries) {
    super();
    set_entries(entries);
    }
  public int maxSize(){
    IntegerRef currentMax = new IntegerRef(0); 
    this.traverse_maxSize(currentMax,0); 
    return currentMax.getValue(); 
  }
  public void traverse_maxSize(IntegerRef m, int s) {
    entries.traverse_maxSize(m);
  }
}