log web/ext/jetty-server-8.1.15.v20140411.jar @ 475:7ac0891718eb

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