log web/ext/jetty-util-8.1.15.v20140411.jar @ 443:bf5e62a9090c

age author description
2014-07-21 fschmidt@gmail.com upgrade to jetty 8