Javadocs of arrayLength, arrayConstructor, arrayElementGetter and arrayElementSetter,
don't discuss the invocation-time behavior.
It seems important since there are exceptions to be documented.

One way to deal with it is to make a connection between the methods and corresponding instructions, so as not to explain every exception in Javadoc.
Probably no need to go deep in details on how, for example, arrayElementGetter(T) maps on 8 Taload instructions,
but just give a basic notion of that.