Jetty 6.1 versus Tomcat 6.x