Replace with machine generated jni header