Update documentation

https://github.com/pmd/pmd/actions/runs/9065496142
https://github.com/pmd/pmd/compare/e5f55c08a5b2...11743a49fa50

pmd_userdocs_tools_java_api.html

@@ -1945,7 +1945,7 @@ as described here.</p>
             &copy;2024 PMD Open Source Project. All rights
             reserved. <br />
             <span>Page last updated:</span>
-            August 2023 (7.0.0)<br /> Site last generated: May 10, 2024 <br />
+            August 2023 (7.0.0)<br /> Site last generated: May 13, 2024 <br />
             <p>
                 <img src="images/logo/pmd-logo-70px.png" alt="PMD
                 logo"/>