Automatic generation produced by ISE Eiffel
class JAVA_SHORT_ARRAY Ancestors JAVA_ARRAY Clients JAVA_SHORT_ARRAY Suppliers INTEGER_32 JAVA_SHORT_ARRAY JAVA_VALUE JNI_ENVIRONMENT POINTER -- Generated by Eiffel Studio --
For more details: eiffel.org