Update Jetty from 8.1.8 to 8.1.12.