RFR: JDK-8296287: Improve documentation for Types.directSupertypes() [v2]

[Pavel Rappo]

On Fri, 4 Nov 2022 16:19:33 GMT, Joe Darcy <darcy at openjdk.org> wrote:

>> Please review the PR and CSR (https://bugs.openjdk.org/browse/JDK-8296354) to add text to explicitly specify the behavior of Types.directSupertypes on java.lang.Object.
>> 
>> (This text could be added as informative text as it is implied by the existing specification, but I think it was reasonable to add the text as a normative statement instead.)
>
> Joe Darcy has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Respond to review feedback.

Looks good.

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

Marked as reviewed by prappo (Reviewer).

PR: https://git.openjdk.org/jdk/pull/10977