3c8c7dfb3b9049f33cbf412cea3978f23634c52e  jetty-jndi-8.1.12.v20130726.jar