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

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

typedef struct java_io_File {
   java_objectheader header;
   struct java_lang_String* path;
   s4 prefixLength;
} java_io_File;