Pin jetty to version 7