Ejemplo n.º 1
0
  /** For debugging. */
  public void dumpMapTree() throws DatabaseException {

    dbMapTree.dump();
  }