buttonmen-dev/buttonmen — pull request #782 by cgolubi1 (2014-04-09 00:06:50+00:00)
Title: 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