if (result.parent == null) {
/* It's null -- we actually deleted the root. */
tree.withRootLatchedExclusive(new RootDeleter(tree));
DbTree dbTree = db.getDbEnvironment().getDbMapTree();
dbTree.modifyDbRoot(db);
traceRootDeletion(Level.FINE, db);
deleted = true;
} else if (result.exactParentFound) {
/* Exact match was found -- delete the parent entry. */
found = true;