14236
JNIEXPORT void JNICALL Java_com_entrouvert_lasso_lassoJNI_set_1Server_1role(JNIEnv *jenv, jclass jcls, jlong jarg1, jint jarg2) {
14249
JNIEXPORT jint JNICALL Java_com_entrouvert_lasso_lassoJNI_get_1Server_1role(JNIEnv *jenv, jclass jcls, jlong jarg1) {
14119
14264
JNIEXPORT jlong JNICALL Java_com_entrouvert_lasso_lassoJNI_get_1Server_1providerIds(JNIEnv *jenv, jclass jcls, jlong jarg1) {
14121
14266
LassoServer *arg1 = (LassoServer *) 0 ;