jenkins pmd customization

* Jenkins: http://jenkins.buttonweavers.com:8080/job/buttonmen-cgolubi1/211/
* Partially addresses #417: the rest will be addressed by James's code changes if the customization of PMD is deemed sufficient