update to latest jetty