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