testing tomcat bug