misc

2018-07-15 13:44:55 +01:00
parent 94621bf8f2
commit 4b3aedccb5
6 changed files with 20 additions and 12 deletions
--- a/packages/jpl/src/c/jpl.c
+++ b/packages/jpl/src/c/jpl.c
@@ -640,7 +640,7 @@ static JNIEnv*
 jni_env(void) /* economically gets a JNIEnv pointer, valid for this thread */
 { JNIEnv	*env;

-  switch( (*jvm)->GetEnv(jvm, (void**)&env, JNI_VERSION_1_2) )
+  switch( (*jvm)->GetEnv(jvm, (void**)&env, JNI_VERSION_1_8) )
  { case JNI_OK:
      return env;
    case JNI_EDETACHED: