Jetty 9

Jetty 9 is currently the recommended version, see: http://www.eclipse.org/jetty/documentation/current/what-jetty-version.html