RFR: 8263203: jconsole Online User Guide has wrong URL [v2]

[Chris Plummer]

On Mon, 7 Jun 2021 21:49:42 GMT, Chris Plummer <cjplummer at 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.
>
> Chris Plummer has updated the pull request incrementally with two additional commits since the last revision:
> 
>  - Fix type from last commit
>  - Use URL for users guide instead of command reference

Thanks Mandy!

Can I get one more review please?

-------------

PR: https://git.openjdk.java.net/jdk/pull/4399