fixed a tomcat installer problem