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

[Joe Darcy]

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

> Simple specification clarification.

This pull request has now been integrated.

Changeset: 5308bbbc
Author:    Joe Darcy <darcy at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/5308bbbcf8005560478d221d44f00fd2849d44f0
Stats:     4 lines in 1 file changed: 4 ins; 0 del; 0 mod

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

Reviewed-by: vromero, jjg

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

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