Merge remote-tracking branch 'pmd/master'
Merge remote-tracking branch 'pmd/master'
Merge remote-tracking branch 'pmd/master'
If I revert the changes of https://github.com/pmd/pmd/commit/5f6e6c3861e1c0828e9f6685bdcf33c607bc179e...
Error message: https://gist.github.com/Up2Go-DavidRenz/55c065df29cf0ca07f97e62ef...
Building latest PMD fails on project pmd-core: MavenReportException: Error while generating Javadoc
Fixed Trigger name is reported incorrectly
Tweaked Properties with real world repos