*/
private void dumpDatabase(String dbName, PrintStream ps)
throws Exception {
DbDump dumper = new DbDump(env, dbName, ps, false);
dumper.dump();
}
/**
* Replace the contents of the databases with the given exported data.
* If state is null or zero-length, the databases will be cleared.