fix jetty include