Update documentation

https://github.com/pmd/pmd/actions/runs/6888785313
https://github.com/pmd/pmd/compare/16967d3c609c...1c8c5cf4343b

pmd_userdocs_tools_java_api.html

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