Error "Java method is too long" about ocamljava HOT 2 OPEN

Well, section 4.9.1 of the same document mentions the following constraint:

The value of the code_length item must be less than 65536

It still stands for Java 1.8, but the restriction is then mentioned in section 4.7.3:

http://docs.oracle.com/javase/specs/jvms/se8/html/jvms-4.html#jvms-4.7.3

However, the fact that some methods from the standard library have a greater
length is interesting. I am wondering whether loading classes from the boot
class path may allow to overcome the constraint - pure speculation though.

A temporary workaround may be to compile the file(s) with -inline 0, thus
avoiding any kind of inlining. However, there is little hope to go from 94429
to 65535 by just banning inlining.

In the longer term, the code generator of ocamljava (or the underlying Barista
library) may provide a way to split into several methods. It is of course not
obvious, has one has to pass live variables back an forth between the original
method and auxiliary one(s).

from ocamljava.

When I wrote "you'll find static class initialization methods greater than 64k in code", that was my experience a while ago when I was working on class file transformers. The typical example was some of the Unicode classes that had big tables character code -> flags. This may no longer be true. Indeed, looking at the sources of OpenJDK, the check method code size < 64K is hardwired in the class loader and has no exception, save turning off bytecode verification altogether.

Concerning inlining, I doubt it will help given that the OCaml function in question calls no other function. (It's just a table encoded as a pattern-matching.)

So, the problem remains, but it blocks the use of ocamljava as a "second-source" alternative to ocamlopt for building CompCert.

from ocamljava.