migrate deb package dependency from tomcat6 to tomcat7