Hi Arne, Thank you for reporting this issue. Could you check if it also occurs with the tomcat7 package from jessie-backports please?
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 [email protected] for discussions and questions.
