Now we need to run tomcat with the right version.