Port of LevelDB to Java