facebook/rocksdb — pull request #444 by adamretter (2014-12-23 14:25:05+00:00)
Title: Fix the Java API build on Mac OS X

Small fix to make compilation work again on Mac OS X. I trust this will also work on Linux?