Update documentation

https://github.com/pmd/pmd/actions/runs/11858377331
https://github.com/pmd/pmd/compare/f803aa36dc32...c73e5cb8b136

pmd_userdocs_tools_java_api.html

@@ -1975,7 +1975,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: Nov 14, 2024 <br />
+            August 2023 (7.0.0)<br /> Site last generated: Nov 15, 2024 <br />
             <p>
                 <img src="images/logo/pmd-logo-70px.png" alt="PMD
                 logo"/>