Update jetty to 9.1.3