597598599600601602603604605606607
newDirtyMap.put(level, dirtySet); } dirtySet.add (new CheckpointReference(in.getDatabase(), in.getNodeId(), in.containsDuplicates(), in.isDbRoot(), in.getMainTreeKey(), in.getDupTreeKey())); } } finally {