Updating jetty to 8.1.13 (Servlet 3.0)