protected void finalize() throws Throwable {
super.finalize();
nodes.clear();
nodes.getRecordManager().commit();
nodes.getRecordManager().close();
nodesReverse.clear();
nodesReverse.getRecordManager().commit();
nodesReverse.getRecordManager().close();
}
