Add a new property of tomcat version. This one will control which web.xml file will be copied to installation directory.
Add a new property of tomcat version. This one will control which web.xml file will be copied to installation directory.