Classpath uses CheriJNI jni.h header