back to the version of jetty this was on before