realm/realm-java — pull request #492 by kneth (2014-10-22 08:06:13+00:00)
Title: Script for generating JNI header files

@emanuelez @bmunkholm