Merge branch 'next'

* next:
  Bump jetty version to 12.0.9 and servlet-api to 6.0
  Bump jetty version to 11.0.20
  Update minimum Java version to 17
  Prepare 7.0.0-SNAPSHOT builds

Change-Id: I99c02f19a580101d34a5b4f9ab4daac33c755b89

1 files changed, 7 insertions, 0 deletions

diff --git a/lib/BUILD b/lib/BUILD
index 8918df8e2b..d26ccae4eb 100644
--- a/lib/BUILD
+++ b/lib/BUILD
@@ -163,6 +163,13 @@ java_library(
 )
 
 java_library(
+    name = "jetty-session",
+    # TODO: This should be testonly but org.eclipse.jgit.pgm depends on it.
+    visibility = ["//visibility:public"],
+    exports = ["@jetty-session//jar"],
+)
+
+java_library(
     name = "jetty-server",
     # TODO: This should be testonly but org.eclipse.jgit.pgm depends on it.
     visibility = ["//visibility:public"],