[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.