A Java Native Interface to LevelDB