On Wed, 7 Jun 2023 18:55:10 GMT, Jonathan Gibbons <j...@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