Package: tomcat7 A patch apparently exists: https://issues.apache.org/bugzilla/show_bug.cgi?id=53952#c40
Fixed in Tomcat 7 in r1632606 (http://svn.apache.org/viewvc?view=revision&revision=1632606). Will be in Tomcat 7.0.57. __ This is the maintainer address of Debian's Java team <http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-java-maintainers>. Please use debian-j...@lists.debian.org for discussions and questions.
