log web/ext/jetty-server-8.1.15.v20140411.jar @ 385:9850d788a20b

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