missing files for Jetty