Interested in this too.
Btw... how do u changed the version of 4.2.2 to 6.0.13 in the first ?
I was wondering if anyone have figure this out? I'm trying to upgrade from tomcat 6.0.10 to tomcat 6.0.18 on Jboss. If someone could point me in the right direction, I would really appreciate it.