A small PMD tweak for bug #7709.