fix for jetty http header parsing