updated Jetty Launcher