Documentation, log4j and JBoss7 logger