Hi everyone
A quick note to announce the immediate retirement of tomcat6/rawhide and f19 per
https://bugzilla.redhat.com/show_bug.cgi?id=819505. Users should migrate to tomcat7.
Tomcat7 implements the 3.0 servlet spec so
expect changes to the servlet api.
cheers,
-- david