tomcat needs the right version to be able to check webxml and we shoudln't need this hack anymore
1 file changed