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

[Pavel Rappo]

On Mon, 26 Aug 2024 11:15:53 GMT, Nizar Benalla <nbenalla 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`

`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".

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

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