pmd/pmd — pull request #35 by robinst (2014-01-29 11:32:43+00:00)
Title: pmd-eclipse: Add "PMD" keyword to all preference pages

Otherwise the subpages are not shown when searching for "PMD" in the
preferences.