LevelDB: closing batch at end of loop (https://github.com/belaban/jgroups-raft/issues/121)
LevelDB: closing batch at end of loop (https://github.com/belaban/jgroups-raft/issues/121)

belaban/jgroups-raft,belaban/jgroups-raft