From d350f255a76e7d060264d0da22b3df5f2f57e55d Mon Sep 17 00:00:00 2001
From: "mend-for-github-com[bot]"
 <50673670+mend-for-github-com[bot]@users.noreply.github.com>
Date: Sat, 30 May 2026 05:17:46 +0000
Subject: [PATCH] Update dependency jakarta.json.bind:jakarta.json.bind-api to
 v3.0.2

Signed-off-by: mend-for-github-com[bot] <mend-for-github-com[bot]@users.noreply.github.com>
---
 build.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.gradle b/build.gradle
index 0853fe5a8..d3ec11a66 100644
--- a/build.gradle
+++ b/build.gradle
@@ -42,7 +42,7 @@ buildscript {
         smithyDafnyVersion = "0.1.2"
         gsonVersion = "2.14.0"
         junitJupiterVersion = "5.14.4"
-        jakartaJsonBindVersion = "3.0.1"
+        jakartaJsonBindVersion = "3.0.2"
         jakartaJsonVersion = "2.0.1"
         commonsTextVersion = "1.15.0"
         yassonVersion = "3.0.4"