Bug fix in initializer. Use the newer version of Jetty.