fix jetty launching