java: intro JavaObject::delete_local_ref

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

diff --git a/lib/java.nit b/lib/java.nit
index b27f627..de82015 100644 (file)
--- a/lib/java.nit
+++ b/lib/java.nit
@@ -156,4 +156,11 @@ redef extern class JavaObject
                JNIEnv *env = Sys_jni_env(sys);
                (*env)->DeleteGlobalRef(env, recv);
        `}
+
+       # Delete this local reference
+       fun delete_local_ref import sys, Sys.jni_env `{
+               Sys sys = JavaObject_sys(recv);
+               JNIEnv *env = Sys_jni_env(sys);
+               (*env)->DeleteLocalRef(env, recv);
+       `}
 end