Is the tomcat plugin better than jetty?