From eca6ea43d085a68b9b9760e732275175cb1b0de3 Mon Sep 17 00:00:00 2001
From: Per Minborg <pminborg@openjdk.org>
Date: Thu, 12 Oct 2023 07:14:52 +0000
Subject: [PATCH] 8317873: Add @sealedGraph to IllegalFormatException

Reviewed-by: naoto, iris
---
 .../share/classes/java/util/IllegalFormatException.java          | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/java.base/share/classes/java/util/IllegalFormatException.java b/src/java.base/share/classes/java/util/IllegalFormatException.java
index f5be4ad268b..6c07e129455 100644
--- a/src/java.base/share/classes/java/util/IllegalFormatException.java
+++ b/src/java.base/share/classes/java/util/IllegalFormatException.java
@@ -31,6 +31,7 @@ package java.util;
  * explicit subtypes of this exception which correspond to specific errors
  * should be instantiated.
  *
+ * @sealedGraph
  * @since 1.5
  */
 public sealed class IllegalFormatException extends IllegalArgumentException