From: Jean Privat Date: Mon, 9 Nov 2015 15:39:14 +0000 (-0500) Subject: Merge: Java FFI: add GC pinning support X-Git-Tag: v0.8~100 X-Git-Url: http://nitlanguage.org Merge: Java FFI: add GC pinning support Adds a missing features to the Java FFI: pinning references to Nit objects from Java. Both services, `..._incr_ref` and `..._decr_ref`, are "simple" redirections from Java to the nitni service in C through the JNI. Pull-Request: #1820 Reviewed-by: Jean Privat --- ea741018abbec0125e641e26433cce8fb3fcbbd9