Upgrade to Jetty 9.0.2.v20130417

Initial Jetty 9 release had some performance issues and leaked
resources. Those and more bugs are fixed with the new release.

Issue: 63