Jetty migration

The latest version of Jetty introduced a small bug in static file handling, but the Jetty people were very helpful in coming up with a workaround.