newest version of jetty needs java 1.7