why is the tomcat plugin on the jetty profile?