RFR: 8322036: Improve help output from the javadoc tool [v3]

[Nizar Benalla]

On Mon, 26 Aug 2024 12:32:11 GMT, Pavel Rappo <prappo at openjdk.org> wrote:

>> I can change it back.
>> By the way I only see it used in the codebase once [here](https://github.com/openjdk/jdk/blob/20d8f58c92009a46dfb91b951e7d87b4cb8e8b41/src/jdk.javadoc/share/classes/jdk/javadoc/internal/tool/Start.java#L254) where `doclet.getName()` returns `Standard`
>
>> I can change it back. By the way I only see it used in the codebase once [here](https://github.com/openjdk/jdk/blob/20d8f58c92009a46dfb91b951e7d87b4cb8e8b41/src/jdk.javadoc/share/classes/jdk/javadoc/internal/tool/Start.java#L254) where `doclet.getName()` returns `Standard`
> 
> `doclet.getName()` returns a name of the doclet in use. It's not always "Standard". Check that example doclet from `jdk.javadoc/jdk.javadoc.doclet` javadoc: it returns "Example".

I understand what you mean now. Thanks!

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

PR Review Comment: https://git.openjdk.org/jdk/pull/20618#discussion_r1731230163