/* DO NOT EDIT THIS FILE - it is machine generated */
#include <jni.h>
/* Header for class x10_x10rt_X10RT_State */

#ifndef _Included_x10_x10rt_X10RT_State
#define _Included_x10_x10rt_X10RT_State
#ifdef __cplusplus
extern "C" {
#endif
#ifdef __cplusplus
}
#endif
#endif
