update to jetty 9.1.1.v20140108