Bump google-java-format to 1.3

Upgrade to version 1.3 which is the version in which the Eclipse
plugin was included [1].

[1] https://github.com/google/google-java-format/pull/118

Change-Id: Ica5f3bcef13ebfa57ad97d706ab10c4fc5d3fa30

Documentation/dev-contributing.txt

diff --git a/Documentation/dev-contributing.txt b/Documentation/dev-contributing.txt
index 4e168bd..d7882a5 100644
--- a/Documentation/dev-contributing.txt
+++ b/Documentation/dev-contributing.txt
@@ -153,7 +153,7 @@
 
 To format source code, Gerrit uses the
 link:https://github.com/google/google-java-format[`google-java-format`]
-tool (version 1.2), which automatically formats code to follow the
+tool (version 1.3), which automatically formats code to follow the
 style guide. Using this tool streamlines code review by reducing the
 need for time-consuming, tedious, and contentious discussions about
 trivial issues like whitespace.

tools/setup_gjf.sh

diff --git a/tools/setup_gjf.sh b/tools/setup_gjf.sh
index 443f1ee..0cf2f3f 100755
--- a/tools/setup_gjf.sh
+++ b/tools/setup_gjf.sh
@@ -17,8 +17,8 @@
 set -eu
 
 # Keep this version in sync with dev-contributing.txt.
-VERSION="1.2"
-SHA1="b3614824e178dd918dc2cc7c7b54804200ebfc64"
+VERSION="1.3"
+SHA1="a73cfe6f9af01bd6ff150c0b50c9d620400f784c"
 
 root="$(git rev-parse --show-toplevel)"
 if [[ -z "$root" ]]; then