System.out.println("Completed database dump test");
}
protected void tearDown()
{
DbTools dbt = new DbTools(); dbt.openEnv(DBDIR, false);
/* List dbnames = dbt.fetchDBnames();
for (int i = 0; i < dbnames.size(); i++)
{ dbt.dropDB((String) dbnames.get(i) );
System.out.println("tearDown: dropped " + (String) dbnames.get(i));
}*/