patch: update tools versions

Author: github-actions[bot]

install.sh

@@ -2,7 +2,7 @@
 
 set -e
 
-PMD_RELEASE="https://github.com/pmd/pmd/releases/download/pmd_releases/7.16.0/pmd-dist-7.16.0-bin.zip"
+PMD_RELEASE="https://github.com/pmd/pmd/releases/download/pmd_releases/7.17.0/pmd-dist-7.17.0-bin.zip"
 CHECKSTYLE_RELEASE="https://github.com/checkstyle/checkstyle/releases/download/checkstyle-11.0.1/checkstyle-11.0.1-all.jar"
 
 apt-get update && apt-get install --no-install-recommends -y ca-certificates wget unzip curl bash jq