JNIEnv *jenv; /* jni interface pointer associated to this thread */
xbt_os_thread_t thread;
xbt_os_sem_t begin; /* this semaphore is used to schedule/yield the process */
JNIEnv *jenv; /* jni interface pointer associated to this thread */
xbt_os_thread_t thread;
xbt_os_sem_t begin; /* this semaphore is used to schedule/yield the process */