Sample to use servlet 3.1 with jetty