Upgrade Jetty to 9.2.13.v20150730

To match the version used in Gerrit 2.12.x.

Modify the dev server to account for changes in the API:

- SocketConnector no longer exists. Remove usage of it, and just
  create the Server directly with the port number.

- Server no longer has a setThreadPool method, so remove that
  call and the now unused threadPool method. (The setMaxQueued
  method on QueuedThreadPool is gone, so that method was not
  compiling any more anyway.)

Change-Id: I91447b473979e4409104e4afd32b0806a7abe290
diff --git a/gitiles-dev/src/main/java/com/google/gitiles/dev/DevServer.java b/gitiles-dev/src/main/java/com/google/gitiles/dev/DevServer.java
index 4cc1e22..7150b19 100644
--- a/gitiles-dev/src/main/java/com/google/gitiles/dev/DevServer.java
+++ b/gitiles-dev/src/main/java/com/google/gitiles/dev/DevServer.java
@@ -25,18 +25,14 @@
 import com.google.gitiles.RepositoryDescription;
 import com.google.gitiles.RootedDocServlet;
 
-import org.eclipse.jetty.server.Connector;
 import org.eclipse.jetty.server.Handler;
 import org.eclipse.jetty.server.Server;
-import org.eclipse.jetty.server.bio.SocketConnector;
 import org.eclipse.jetty.server.handler.ContextHandler;
 import org.eclipse.jetty.server.handler.ContextHandlerCollection;
 import org.eclipse.jetty.server.handler.ResourceHandler;
 import org.eclipse.jetty.servlet.ServletContextHandler;
 import org.eclipse.jetty.servlet.ServletHolder;
 import org.eclipse.jetty.util.resource.FileResource;
-import org.eclipse.jetty.util.thread.QueuedThreadPool;
-import org.eclipse.jetty.util.thread.ThreadPool;
 import org.eclipse.jgit.errors.ConfigInvalidException;
 import org.eclipse.jgit.errors.RepositoryNotFoundException;
 import org.eclipse.jgit.lib.Config;
@@ -158,9 +154,7 @@
     }
     this.cfg = cfg;
 
-    httpd = new Server();
-    httpd.setConnectors(connectors());
-    httpd.setThreadPool(threadPool());
+    httpd = new Server(cfg.getInt("gitiles", null, "port", 8080));
     httpd.setHandler(handler());
   }
 
@@ -169,23 +163,6 @@
     httpd.join();
   }
 
-  private Connector[] connectors() {
-    Connector c = new SocketConnector();
-    c.setHost(null);
-    c.setPort(cfg.getInt("gitiles", null, "port", 8080));
-    c.setStatsOn(false);
-    return new Connector[]{c};
-  }
-
-  private ThreadPool threadPool() {
-    QueuedThreadPool pool = new QueuedThreadPool();
-    pool.setName("HTTP");
-    pool.setMinThreads(2);
-    pool.setMaxThreads(10);
-    pool.setMaxQueued(50);
-    return pool;
-  }
-
   private Handler handler() throws IOException {
     ContextHandlerCollection handlers = new ContextHandlerCollection();
     handlers.addHandler(staticHandler());
diff --git a/lib/jetty/BUCK b/lib/jetty/BUCK
index 5f394c8..61b8e07 100644
--- a/lib/jetty/BUCK
+++ b/lib/jetty/BUCK
@@ -1,13 +1,13 @@
-VERS = '8.1.7.v20120910'
+VERS = '9.2.13.v20150730'
 EXCLUDE = ['about.html']
 
 maven_jar(
   name = 'servlet',
   id = 'org.eclipse.jetty:jetty-servlet:' + VERS,
-  sha1 = '93da01e3ea26e70449e9a1a0affa5c31436be5a0',
+  sha1 = '5ad6e38015a97ae9a60b6c2ad744ccfa9cf93a50',
   deps = [
     ':security',
-    '//lib:servlet-api_3_0',  # Different from the rest of gitlies-server.
+    '//lib:servlet-api_3_0',  # Different from the rest of gitiles-server.
   ],
   exclude = EXCLUDE,
 )
@@ -15,7 +15,7 @@
 maven_jar(
   name = 'security',
   id = 'org.eclipse.jetty:jetty-security:' + VERS,
-  sha1 = '8d78beb7a07f4cccee05a3f16a264f1025946258',
+  sha1 = 'cc7c7f27ec4cc279253be1675d9e47e58b995943',
   deps = [':server'],
   exclude = EXCLUDE,
   visibility = [],
@@ -24,7 +24,7 @@
 maven_jar(
   name = 'server',
   id = 'org.eclipse.jetty:jetty-server:' + VERS,
-  sha1 = '6c81f733f28713919e99c2f8952e6ca5178033cd',
+  sha1 = '5be7d1da0a7abffd142de3091d160717c120b6ab',
   exported_deps = [
     ':continuation',
     ':http',
@@ -35,14 +35,14 @@
 maven_jar(
   name = 'continuation',
   id = 'org.eclipse.jetty:jetty-continuation:' + VERS,
-  sha1 = 'f60cfe6267038000b459508529c88737601081e4',
+  sha1 = 'f6bd4e6871ecd0a5e7a5e5addcea160cd73f81bb',
   exclude = EXCLUDE,
 )
 
 maven_jar(
   name = 'http',
   id = 'org.eclipse.jetty:jetty-http:' + VERS,
-  sha1 = '10126433876cd74534695f7f99c4362596555493',
+  sha1 = '23a745d9177ef67ef53cc46b9b70c5870082efc2',
   exported_deps = [':io'],
   exclude = EXCLUDE,
 )
@@ -50,7 +50,7 @@
 maven_jar(
   name = 'io',
   id = 'org.eclipse.jetty:jetty-io:' + VERS,
-  sha1 = 'a81f746ae1b10c37e1bb0a01d1374c202c0bd549',
+  sha1 = '7a351e6a1b63dfd56b6632623f7ca2793ffb67ad',
   exported_deps = [':util'],
   exclude = EXCLUDE,
   visibility = [],
@@ -59,7 +59,7 @@
 maven_jar(
   name = 'util',
   id = 'org.eclipse.jetty:jetty-util:' + VERS,
-  sha1 = '7eb2004ab2c22fd3b00095bd9ba0f32a9e88f6a5',
+  sha1 = 'c101476360a7cdd0670462de04053507d5e70c97',
   exclude = EXCLUDE,
   visibility = [],
 )