RFR: 8285368: Overhaul doc-comment inheritance [v2]

[Pavel Rappo]

On Wed, 7 Jun 2023 18:55:10 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

>> Pavel Rappo has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   feedback: make warning less scary
>
> src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/taglets/InheritDocTaglet.java line 110:
> 
>> 108:             for (Element e : methods) {
>> 109:                 ExecutableElement m = (ExecutableElement) e;
>> 110:                 if (configuration.utils.elementUtils.overrides(method, m, (TypeElement) method.getEnclosingElement())) {
> 
> Note that `configuration.utils` is available as `utils`

Done in d579a83cc4a.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/14357#discussion_r1222652470