Code generator that produces the JNI code