Explorer Tomcat fix