Update Jetty version to v8.1.12. (2013-07-26)