Script for generating JNI header files

@emanuelez @bmunkholm 
If they were above the code it be more clear :-) It's the magic " 13 " that's hard to get?