Upgrade Jetty to 9.4.12.v20180830

Change-Id: I742b813cb198583977fbed420d5553bb56cd2d8d
diff --git a/WORKSPACE b/WORKSPACE
index c1a13ff..924ee29 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -233,46 +233,46 @@
     sha1 = "6975da39a7040257bd51d21a231b76c915872d38",
 )
 
-JETTY_VERSION = "9.3.18.v20170406"
+JETTY_VERSION = "9.4.12.v20180830"
 
 maven_jar(
     name = "servlet",
     artifact = "org.eclipse.jetty:jetty-servlet:" + JETTY_VERSION,
-    sha1 = "534e7fa0e4fb6e08f89eb3f6a8c48b4f81ff5738",
+    sha1 = "4c1149328eda9fa39a274262042420f66d9ffd5f",
 )
 
 maven_jar(
     name = "security",
     artifact = "org.eclipse.jetty:jetty-security:" + JETTY_VERSION,
-    sha1 = "16b900e91b04511f42b706c925c8af6023d2c05e",
+    sha1 = "299e0602a9c0b753ba232cc1c1dda72ddd9addcf",
 )
 
 maven_jar(
     name = "server",
     artifact = "org.eclipse.jetty:jetty-server:" + JETTY_VERSION,
-    sha1 = "0a32feea88cba2d43951d22b60861c643454bb3f",
+    sha1 = "b0f25df0d32a445fd07d5f16fff1411c16b888fa",
 )
 
 maven_jar(
     name = "continuation",
     artifact = "org.eclipse.jetty:jetty-continuation:" + JETTY_VERSION,
-    sha1 = "3c5d89c8204d4a48a360087f95e4cbd4520b5de0",
+    sha1 = "5f6d6e06f95088a3a7118b9065bc49ce7c014b75",
 )
 
 maven_jar(
     name = "http",
     artifact = "org.eclipse.jetty:jetty-http:" + JETTY_VERSION,
-    sha1 = "30ece6d732d276442d513b94d914de6fa1075fae",
+    sha1 = "1341796dde4e16df69bca83f3e87688ba2e7d703",
 )
 
 maven_jar(
     name = "io",
     artifact = "org.eclipse.jetty:jetty-io:" + JETTY_VERSION,
-    sha1 = "36cb411ee89be1b527b0c10747aa3153267fc3ec",
+    sha1 = "e93f5adaa35a9a6a85ba130f589c5305c6ecc9e3",
 )
 
 maven_jar(
     name = "util",
     artifact = "org.eclipse.jetty:jetty-util:" + JETTY_VERSION,
-    sha1 = "8600b7d028a38cb462eff338de91390b3ff5040e",
+    sha1 = "cb4ccec9bd1fe4b10a04a0fb25d7053c1050188a",
 )