Fix Tomcat version - mistake in merge between tc7.0.x branch and master (tc8.0)