use specific tomcat version