fix jetty file again