PMD Eclipse plugin v3.1 released

Those PMD developers have been very busy, this time it is the Eclipse plugin that has been updated with an upgrade to PMD 3.8, a slew of performance fixes, and a host of other tweaks