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

#ifndef _JAVA_IO_DATAINPUTSTREAM_H
#define _JAVA_IO_DATAINPUTSTREAM_H

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

typedef struct java_io_DataInputStream {
   java_objectheader header;
   struct java_io_InputStream* in;
   s4 ignoreInitialNewline;
   java_bytearray* buf;
} java_io_DataInputStream;

#endif