fixes #16

As discussed in issue #16. This workaround should still be OK even if Jetty fixes the bug.