lib/java: make pop_from_local_frame_with_env protected to be redefable

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

diff --git a/lib/java/java.nit b/lib/java/java.nit
index 04e8743..cefa71d 100644 (file)
--- a/lib/java/java.nit
+++ b/lib/java/java.nit
@@ -172,7 +172,8 @@ redef extern class JavaObject
                return pop_from_local_frame_with_env(jni_env)
        end
 
-       private fun pop_from_local_frame_with_env(jni_env: JniEnv): SELF `{
+       # Java implementation of `pop_from_local_frame`
+       protected fun pop_from_local_frame_with_env(jni_env: JniEnv): SELF `{
                return (*jni_env)->PopLocalFrame(jni_env, self);
        `}