Integrated: 8297152: Add a @sealedGraph tag to ZoneId

[Naoto Sato]

On Wed, 16 Nov 2022 19:07:48 GMT, Naoto Sato <naoto at openjdk.org> wrote:

> Adding a `@sealedGraph` tag to `ZoneId` class.

This pull request has now been integrated.

Changeset: 8b140e2d
Author:    Naoto Sato <naoto at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/8b140e2d747676f6c5f53ccb18cee307e7d3da1c
Stats:     1 line in 1 file changed: 1 ins; 0 del; 0 mod

8297152: Add a @sealedGraph tag to ZoneId

Reviewed-by: iris, joehw

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

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