new script for generating java/jni header