Hi Ralf, If you are still affected by this issue, could you try upgrading the to the version of tomcat7 in the jessie-backports repository please? Let me know if it works better.
Regards, Emmanuel Bourg __ 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.