Dependency(deps): Bump net.sourceforge.pmd:pmd-java

Bumps [net.sourceforge.pmd:pmd-java](https://github.com/pmd/pmd) from 7.0.0-rc3 to 7.2.0.
- [Release notes](https://github.com/pmd/pmd/releases)
- [Changelog](https://github.com/pmd/pmd/blob/master/docs/render_release_notes.rb)
- [Commits](pmd/pmd@pmd_releases/7.0.0-rc3...pmd_releases/7.2.0)

---
updated-dependencies:
- dependency-name: net.sourceforge.pmd:pmd-java
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>

autograder-core/pom.xml

@@ -16,7 +16,7 @@
 
     <properties>
         <spoon.version>11.0.0</spoon.version>
-        <pmd.version>7.0.0-rc3</pmd.version>
+        <pmd.version>7.2.0</pmd.version>
         <spotbugs.version>6.45.0</spotbugs.version>
         <jgraph.version>1.5.2</jgraph.version>
         <fluent.version>0.70</fluent.version>