`java_library`: output JNI headers generated by `javac` - #13

Draft

chrisnovakovic wants to merge 3 commits into

please-build:masterfrom

chrisnovakovic:java_library-jni-headers

Commits on Aug 9, 2022

`java_library`: output JNI headers generated by `javac`
chrisnovakovic
committed
8565012
Also depend on `exported_deps` when building JNI headers
chrisnovakovic
committed
0829009
Fix type error
chrisnovakovic
committed
b69b124