From 0f8e8fff41d7d176ae2ec19be54e0a12fc73c6de Mon Sep 17 00:00:00 2001
From: Brian de Alwis <bsd@mt.ca>
Date: Fri, 16 Nov 2018 16:30:12 -0500
Subject: [PATCH] Update java/jetty to 9.4.14.v20181114

---
 WORKSPACE | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/WORKSPACE b/WORKSPACE
index ee9011690..f9e5cb88f 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -151,10 +151,10 @@ dpkg_list(
 new_http_archive(
     name = "jetty",
     build_file = "BUILD.jetty",
-    sha256 = "ca93c7f88e842fcb1e7bd551c071b3302b7be1faf9cad3ce415af19c77d6cb74",
-    strip_prefix = "jetty-distribution-9.4.4.v20170414/",
+    sha256 = "c66abd7323f6df5b28690e145d2ae829dbd12b8a2923266fa23ab5139a9303c5",
+    strip_prefix = "jetty-distribution-9.4.14.v20181114/",
     type = "tar.gz",
-    urls = ["http://central.maven.org/maven2/org/eclipse/jetty/jetty-distribution/9.4.4.v20170414/jetty-distribution-9.4.4.v20170414.tar.gz"],
+    urls = ["http://central.maven.org/maven2/org/eclipse/jetty/jetty-distribution/9.4.14.v20181114/jetty-distribution-9.4.14.v20181114.tar.gz"],
 )
 
 # Node