Extensions: Readded JNIUtil.h