Issue #192: Upgrade to Jetty 8.1.9
Done.