facebook/rocksdb — pull request #369 by fyrz (2014-10-27 23:09:30+00:00)
Title: [RocksJava] Minor correction to the previous pull request merge

Minor but important correction of the pull request merge.

@yhchiang can you look into this. Sorry.