Setup for fetchint Tomcat 7 distribution and server.xml config template file