jetty update (from 7 to 9) and gzip for json resources