make it possible to handle tomcat6 and tomcat7 with debian