An RPM spec file to install Tomcat 7.0.