add charset to avoid jetty serving non-utf8