Fixing arena-core javadocs