revert back to jetty 7