change it to run with newer version of jetty