log web/ext/jetty-util-8.1.15.v20140411.jar @ 416:91af5337b9ae

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