On the use of static analysis to engage students with software quality improvement: An experience with PMD | IEEE Conference Publication | IEEE Xplore