Allowing the version of tomcat to be specified