tomcat was wrong, jetty is right