added: tomcat 7 support for debian