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