For Javadoc jar, prefer Java 9+ sources over Java 8.
For Javadoc jar, prefer Java 9+ sources over Java 8.

(#180)

This handles the Javadoc half of https://github.com/jspecify/jspecify/issues/179.
jspecify/jspecify