log web/ext/jetty-server-8.1.15.v20140411.jar @ 444:e45bcaf6f5fe

age author description
Mon, 21 Jul 2014 06:38:01 +0000 fschmidt@gmail.com upgrade to jetty 8