Merge branch 'stable-3.0' into stable-3.1

* stable-3.0:
  Update Gerrit API to 3.0.7
  Update Gerrit API to 2.16.16
  javadoc.bzl: Switch to https protocol for Java API URL

Change-Id: Iebff7330ee3515866c93d88a4d874c393831c85f
diff --git a/tools/javadoc.bzl b/tools/javadoc.bzl
index 0f1bfd9..c7a7e1d 100644
--- a/tools/javadoc.bzl
+++ b/tools/javadoc.bzl
@@ -25,7 +25,7 @@
     transitive_jar_paths = [j.path for j in transitive_jars.to_list()]
     dir = ctx.outputs.zip.path + ".dir"
     source = ctx.outputs.zip.path + ".source"
-    external_docs = ["http://docs.oracle.com/javase/8/docs/api"] + ctx.attr.external_docs
+    external_docs = ["https://docs.oracle.com/javase/8/docs/api"] + ctx.attr.external_docs
     cmd = [
         "rm -rf %s" % source,
         "mkdir %s" % source,