add servlet 3.1.0/jetty 9 support