Upgrade the build requirement from Java 10 to Java 11 (but keep the result executable on Java 8).
This upgrade allows us to remove a hack for javadoc generation under Java 10.
3 files changed