Workaround for a bug in Jetty's rendering