fedora-tomcat7: thin build of a tomcat server