Dear Java maintainers, currently there's Tomcat 6 and Tomcat 7 in Wheezy. Will 6 be dropped before the Wheezy relese? It would be good to only have one version in Wheezy. Cheers, Moritz