Newly-released maven-javadoc-plugin breaks our build; explicitly using the previous version.