Source for GWT includes tomcat5. Is that ok?

jboss-wfk-1.0-src/gwt/tools/lib/tomcat/
ant-launcher-1.6.5.jar
catalina-1.0.jar
catalina-optional-1.0.jar
commons-beanutils-1.6.jar
commons-collections-3.1.jar
commons-collections-3.1-src.zip
commons-digester-1.5.jar
commons-el-1.0.jar
commons-logging-1.0.jar
commons-modeler-1.1.jar
COPYING
jakarta-regexp-1.3.jar
jakarta-tomcat-5.0.28-src.zip
jasper-compiler-1.0.jar
jasper-runtime-1.0.jar
jsp-api-2.0.jar
jsp-api-2.1.jar
mx4j-jmx-1.1.jar
naming-common-1.0.jar
naming-factory-1.0.jar
naming-java-1.0.jar
naming-resources-1.0.jar
servlet-api-2.4.jar
servlet-api-2.5.jar
servlets-common-1.0.jar
servlets-default-1.0.jar
servlets-invoker-1.0.jar
tomcat-coyote-1.0.jar
tomcat-http11-1.0.jar
tomcat-jk2-2.1.jar
tomcat-util-5.1.jar