Jetty

A UTF-8 character is output twice.