Added parameter for determining tomcat version