Remove unused google-java-format 1.3 version
Gjf-1.3 was replaced with 1.5 version and is not used any more.
Change-Id: Ia421a1445cc49e666f180a7c06fccfa600ffd71b
diff --git a/jenkins-docker/slave-bazel/Dockerfile b/jenkins-docker/slave-bazel/Dockerfile
index 1a31134..481974c 100644
--- a/jenkins-docker/slave-bazel/Dockerfile
+++ b/jenkins-docker/slave-bazel/Dockerfile
@@ -23,15 +23,12 @@
RUN bash -c '. /usr/bin/set-java.sh 8 && \
cd /tmp && git clone -b stable-2.14 --recursive https://gerrit.googlesource.com/gerrit && \
cd /tmp/gerrit && \
- ./tools/setup_gjf.sh 1.3 && \
./tools/setup_gjf.sh 1.5 && \
./tools/setup_gjf.sh 1.6 && \
( bazel build release || true ) && \
git checkout -f stable-2.15 && git submodule update --init && ( bazel build release || true ) && \
git checkout -f master && git submodule update --init && ( bazel build release || true ) && \
- cd /tmp/gerrit/tools/format && ln -s google-java-format-1.3 google-java-format && \
cd /tmp/gerrit && mv tools/format ~ && \
- cd /tmp/gerrit && ./tools/download_file.py -o ~/format/google-java-format-1.3-all-deps.jar -u https://github.com/davido/google-java-format/releases/download/1.3-1-gec5ce10/google-java-format-1.3-1-gec5ce10-all-deps.jar -v "65f060dc238bdd81ef029354d8e6dad6dd742ef4" && \
rm -Rf /tmp/gerrit'
USER root
