For now this is ok. Once most of us move to Fedora 19, we should default to tomcat and make tomcat6 the special case.