This does the trick:

$ git diff -U1
diff --git a/pants.ini b/pants.ini
index 3118b74..0d57611 100644
--- a/pants.ini
+++ b/pants.ini
@@ -46,2 +46,6 @@ options: ["-Xmx1g", "-XX:MaxPermSize=256m"]
 
+[jvm.doc.javadoc]
+program_args: ['-Xdoclint:none']
+
+
 [cache.bootstrap]