facebook/rocksdb — pull request #379 by fyrz (2014-11-02 22:57:57+00:00)
Title: [RocksJava] Build fix after options refactoring

Fixes merge problems from options refactoring which brake the build currently.