Workaround for hardcoded Tomcat version