Set the version correctly in the tomcat module