tree 2b392601e1cfb9c9b2cc600505333054806f942a
parent 475a012e51f8443651c6b266948975959518ff8b
author David Pursehouse <david.pursehouse@sonymobile.com> 1449484641 +0900
committer David Pursehouse <david.pursehouse@sonymobile.com> 1453978010 +0000

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