From 168c88b66d8590fb9e7e3eb448f408080baf2bb9 Mon Sep 17 00:00:00 2001
From: David Ostrovsky <david@ostrovsky.org>
Date: Sun, 9 Jun 2019 13:07:13 +0200
Subject: [PATCH] Bazel: Remove unused jetty-servlets dependency

The last usage of jetty-servlets dependency was removed in GWT UI
removal change: I767118ba4a70.

Change-Id: I3a6226336562ffb63e17bb825f9447ada4a396c5
---
 WORKSPACE           | 6 ------
 lib/jetty/BUILD     | 7 -------
 tools/eclipse/BUILD | 1 -
 3 files changed, 14 deletions(-)

diff --git a/WORKSPACE b/WORKSPACE
index e8162a4636..d737d8d3ca 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -976,12 +976,6 @@ maven_jar(
     sha1 = "6cbeb2fe9b3cc4f88a7ea040b8a0c4f703cd72ce",
 )
 
-maven_jar(
-    name = "jetty-servlets",
-    artifact = "org.eclipse.jetty:jetty-servlets:" + JETTY_VERS,
-    sha1 = "38cfc07b53e5d285bb2fca78bb2531565ed9c9e5",
-)
-
 maven_jar(
     name = "jetty-server",
     artifact = "org.eclipse.jetty:jetty-server:" + JETTY_VERS,
diff --git a/lib/jetty/BUILD b/lib/jetty/BUILD
index c5f1da8a11..b78ac58806 100644
--- a/lib/jetty/BUILD
+++ b/lib/jetty/BUILD
@@ -14,13 +14,6 @@ java_library(
     runtime_deps = [":server"],
 )
 
-java_library(
-    name = "servlets",
-    data = ["//lib:LICENSE-Apache2.0"],
-    visibility = ["//visibility:public"],
-    exports = ["@jetty-servlets//jar"],
-)
-
 java_library(
     name = "server",
     data = ["//lib:LICENSE-Apache2.0"],
diff --git a/tools/eclipse/BUILD b/tools/eclipse/BUILD
index 5ef3a4618b..814a56f663 100644
--- a/tools/eclipse/BUILD
+++ b/tools/eclipse/BUILD
@@ -22,7 +22,6 @@ DEPS = [
     "//java/com/google/gerrit/asciidoctor:asciidoc_lib",
     "//java/com/google/gerrit/asciidoctor:doc_indexer_lib",
     "//lib/auto:auto-value",
-    "//lib/jetty:servlets",
     "//lib/prolog:compiler-lib",
     "//proto:entities_java_proto",
 ]