for bug report: tomcat does not log