RFR: JDK-8319988: Wrong heading for inherited nested classes

[Jonathan Gibbons]

On Mon, 13 Nov 2023 21:45:51 GMT, Hannes Wallnöfer <hannesw at openjdk.org> wrote:

> Please review a trivial fix to make javadoc use the correct heading for listings of inherited nested classes.

Marked as reviewed by jjg (Reviewer).

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

PR Review: https://git.openjdk.org/jdk/pull/16641#pullrequestreview-1740394160