However, if you look at the Tomcat version that is listed for 4.2.0 (6.0.13), this version does not match JBOSS_SRC_DIR\thirdparty\licenses\thirdparty-licenses.xml which lists it as 6.0.10. I need the exact minor version being used, for a security audit.
Does anyone know how to resolve this (apparent) discrepancy? i.e. Which tomcat version is right?