tomcat und log4j