Fixes #1238
Latest Jetty
Cosmetics