RFR: JDK-8246280: Refine API to model sealed classes and interfaces in javax.lang.model

[Jonathan Gibbons]

On Mon, 18 Sep 2023 19:34:49 GMT, Joe Darcy <darcy at openjdk.org> wrote:

> Simple specification clarification.

Marked as reviewed by jjg (Reviewer).

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

PR Review: https://git.openjdk.org/jdk/pull/15795#pullrequestreview-1631924045