Aha! Yes, that seems to be it exactly. Thanks, James.
Sorry for the noise, everyone. If anything it looks like the bug would be in 'tomcat6', for accepting a busted config. Antoine __ 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.
