Merge pull request #749 from apache/minor_updates_to_main

Update maven.config and ManualJavadocsDeploy.sh.

Author: leerho

.mvn/maven.config

@@ -3,3 +3,5 @@
 # If you're using a plugin that causes this warning, please upgrade to the latest version and report an issue if the warning persists. 
 # To disable these warnings, set -Dmaven.project.sourceRoots.warningsDisabled=true on the command line or in the .mvn/maven.config file.
 -Dmaven.project.sourceRoots.warningsDisabled=true
+--no-transfer-progress
+-Dstyle.color=always

tools/FindBugsExcludeFilter.xml

@@ -1,7 +1,11 @@
 #!/bin/bash
 set -e
 
-TAG_NAME="test"
+# Assumes that a remote branch named 'gh-pages' exists.
+# If a local branch 'gh-pages' exists it will be overwritten.
+
+# MODIFY THIS TAG_NAME!
+TAG_NAME="test" 
 # Build and Generate Javadoc
 # POM is configured to output to target/site/apidocs
 echo "ECHO: mvn clean javadoc:javadoc"