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

/* Structure information for class: java/util/Properties */

typedef struct java_util_Properties {
   java_objectheader header;
   java_objectarray* table;
   s4 count;
   s4 threshold;
   float loadFactor;
   s4 modCount;
   struct java_util_Set* keySet;
   struct java_util_Set* entrySet;
   struct java_util_Collection* values;
   struct java_util_Properties* defaults;
} java_util_Properties;