Merge: Java FFI: add GC pinning support
authorJean Privat <jean@pryen.org>
Mon, 9 Nov 2015 15:39:14 +0000 (10:39 -0500)
committerJean Privat <jean@pryen.org>
Mon, 9 Nov 2015 15:39:14 +0000 (10:39 -0500)
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 <jean@pryen.org>


Trivial merge