Back to latest stable version of Jetty 9 plus creating timers with sensible names.