#4: done in log4j.properties