On Mon, 7 Jun 2021 19:36:23 GMT, Chris Plummer <cjplum...@openjdk.org> wrote:
> The URL for the users guide, referenced from both the About dialog and from > the "Help -> Online Users Guide" menu item, has not functioned for a few > releases due the restructuring of the JDK online docs. This PR fixes the URL. > Note I also filed JDK-8268351 to get rid of the URL, but for 17 I prefer to > just fix the URL. > > BTW, the change to MANAGE_HOTSPOT_MBEANS_IN_COLON_ is just my editor > automatically getting rid of an extra space at the end of the line. Actually that does work. My URL was using 17, which doesn't exist yet, but it seems to work with 16. ------------- PR: https://git.openjdk.java.net/jdk/pull/4399
