fork of https://github.com/oxigraph/rocksdb and https://github.com/facebook/rocksdb for nextgraph and oxigraph

Eugene Su 59d5497989 suppress JDK8 errors for #385 An error occurred		11 years ago
..
rocksdb	suppress JDK8 errors for #385 An error occurred	11 years ago