Pmd eclipse plugin 4.0.0

Merge to avoid problems with too old version of PMD.