facebook/rocksdb — pull request #406 by fyrz (2014-11-17 18:29:28+00:00)
Title: [RocksJava] JavaDoc corrections - Java8

This commit solves build problems in Java8 due
to wrong JavaDoc.