Hi Pavel, the changes look good and generated docs are working fine for me.
Hannes > Am 04.06.2020 um 18:28 schrieb Pavel Rappo <pavel.ra...@oracle.com>: > > Hello, > > Please review the change for https://bugs.openjdk.java.net/browse/JDK-8245981 > > http://cr.openjdk.java.net/~prappo/8245981/webrev.00/ > > This upgrades the jQuery library to the latest release 3.5.1. I've checked > that the API documentation for JDK continues to work as expected on macOS > Chrome and Firefox; on Windows Internet Explorer and Edge. Our continuous > integration system also shows no test failures. > > -Pavel >