From 8dabb9dd90db647c85550e98877b30f2e2f47320 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Alexis=20Laferri=C3=A8re?= <alexis.laf@xymus.net>
Date: Tue, 28 Jul 2015 14:11:38 -0400
Subject: [PATCH] lib/java: make pop_from_local_frame_with_env protected to be
 redefable
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
---
 lib/java/java.nit |    3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lib/java/java.nit b/lib/java/java.nit
index 04e8743..cefa71d 100644
--- 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);
 	`}
 
-- 
1.7.9.5