Merge branch 'stable-3.1' into stable-3.2

* stable-3.1:
  Update jetty version to 9.4.35.v20201120

Change-Id: I97edf8fb6c5f97df93aff2ef62b710cd08c780ef

lib/jetty/BUILD

@@ -4,7 +4,10 @@ java_library(
     name = "servlet",
     data = ["//lib:LICENSE-Apache2.0"],
     visibility = ["//visibility:public"],
-    exports = ["@jetty-servlet//jar"],
+    exports = [
+        ":util-ajax",
+        "@jetty-servlet//jar",
+    ],
     runtime_deps = [":security"],
 )
 
@@ -60,3 +63,9 @@ java_library(
     data = ["//lib:LICENSE-Apache2.0"],
     exports = ["@jetty-util//jar"],
 )
+
+java_library(
+    name = "util-ajax",
+    data = ["//lib:LICENSE-Apache2.0"],
+    exports = ["@jetty-util-ajax//jar"],
+)