1 /* This file is machine generated, don't edit it! */
3 #ifndef _JAVA_UTIL_PROPERTIES_H
4 #define _JAVA_UTIL_PROPERTIES_H
6 /* Structure information for class: java/util/Properties */
8 typedef struct java_util_Properties {
9 java_objectheader header;
12 java_objectarray* buckets;
15 struct java_util_Set* keys;
16 struct java_util_Collection* values;
17 struct java_util_Set* entries;
18 struct java_util_Properties* defaults;
19 } java_util_Properties;