docu and tomcat7 config