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.18.0/pmd-dist-7.18.0-bin.zip"
+PMD_RELEASE="https://github.com/pmd/pmd/releases/download/pmd_releases/7.19.0/pmd-dist-7.19.0-bin.zip"
 CHECKSTYLE_RELEASE="https://github.com/checkstyle/checkstyle/releases/download/checkstyle-12.1.2/checkstyle-12.1.2-all.jar"
 
 apt-get update && apt-get install --no-install-recommends -y ca-certificates wget unzip curl bash jq