On Wed, 31 Jan 2024 14:22:44 GMT, Kevin Walls <kev...@openjdk.org> wrote:
> not including them in the jcmd help output, is to remind us they are not > general customer-facing tools. Then who are they for? and do they really belong in the `jcmd` tool, or is that just convenient? Without help information who will know what can be done with this tool? ------------- PR Comment: https://git.openjdk.org/jdk/pull/17655#issuecomment-1925959472
