Packages for jetty & tomcat
---------------------------

If at some time any of the css-validator-{tomcat,jetty,common}* packages don't
work anymore and if they cause too much trouble being maintained, they can be
dropped.
See: https://lists.debian.org/debian-java/2025/06/msg00011.html
