We said that we shouldn't force GenJavaDoc just to publish local, but let the release script take care of the flags.