A pmd tweak for bug #6557.