java_library: output JNI headers generated by javac
#2525
Closed
java_library: output JNI headers generated by javac
#2525