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

[Chris Plummer]

> 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

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

Changes:
  - all: https://git.openjdk.java.net/jdk/pull/4399/files
  - new: https://git.openjdk.java.net/jdk/pull/4399/files/f1342735..d29e0ddb

Webrevs:
 - full: https://webrevs.openjdk.java.net/?repo=jdk&pr=4399&range=01
 - incr: https://webrevs.openjdk.java.net/?repo=jdk&pr=4399&range=00-01

  Stats: 3 lines in 3 files changed: 0 ins; 0 del; 3 mod
  Patch: https://git.openjdk.java.net/jdk/pull/4399.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/4399/head:pull/4399

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