bd9e05129755dc067b56903a73542e9d095eb11f  jetty-server-8.1.12.v20130726.pom