Specify a javadoc plugin with MJAVADOC-416 fixed.