Issue #983: Upgrade to Jetty 8.1.15
Done.