use latest jetty7 7.6.9.v20130131