Update Jetty to version 9.1.3

Includes a couple of changes to deal with any API differences.