remove unused header

Ankit Gupta · Ankit Gupta · commit 98421774b6c7 · 2014-04-14T21:14:29.000-07:00
diff --git a/java/rocksjni/portal.h b/java/rocksjni/portal.h
@@ -12,7 +12,6 @@
 
 #include <jni.h>
 #include "rocksdb/db.h"
-#include "rocksdb/statistics.h"
 
 namespace rocksdb {
 
