jetty: upgrade to jetty 8 (servlet 3 compliant)