522523524525526527528529530531532
try { DbScavenger scavenger = new DbScavenger(env, null, printable, aggressive, false /* verbose */); scavenger.dump(); } catch (IOException IOE) { throw new DatabaseException(IOE); } }