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