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

/* Structure information for class: java/lang/Integer */

typedef struct java_lang_Integer {
   java_objectheader header;
   s4 value;
} java_lang_Integer;