jetty version upgrade to 8.1.7.v20120910