Tomcat7 deb package seems working now
Bye bye (web.)xml