/* This file is machine generated, don't edit it !*/

#ifndef _JAVA_IO_RANDOMACCESSFILE_H
#define _JAVA_IO_RANDOMACCESSFILE_H

/* Structure information for class: java/io/RandomAccessFile */

typedef struct java_io_RandomAccessFile {
   java_objectheader header;
   struct gnu_java_nio_channels_FileChannelImpl* ch;
   struct java_io_FileDescriptor* fd;
   struct java_io_DataOutputStream* out;
   struct java_io_DataInputStream* in;
} java_io_RandomAccessFile;

#endif