Hello Mark, thanks for the patch, I'm applying it to Tomcat. Ludovic
__ This is the maintainer address of Debian's Java team <http://lists.alioth.debian.org/mailman/listinfo/pkg-java-maintainers>. Please use [email protected] for discussions and questions.
