From cb2d7df05b3680c5e9986c6985408f3f7018aab2 Mon Sep 17 00:00:00 2001
From: Kenneth Knowles <klk@google.com>
Date: Tue, 25 Nov 2025 10:19:26 -0500
Subject: [PATCH] Add @Nullable to java.sql.Driver#connect

---
 src/java.sql/share/classes/java/sql/Driver.java | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/java.sql/share/classes/java/sql/Driver.java b/src/java.sql/share/classes/java/sql/Driver.java
index e198fd8defe64..318e1fc254297 100644
--- a/src/java.sql/share/classes/java/sql/Driver.java
+++ b/src/java.sql/share/classes/java/sql/Driver.java
@@ -25,6 +25,8 @@
 
 package java.sql;
 
+import org.checkerframework.checker.nullness.qual.Nullable;
+
 import java.util.logging.Logger;
 
 /**
@@ -88,7 +90,7 @@ public interface Driver {
      * @throws SQLException if a database access error occurs or the url is
      * {@code null}
      */
-    Connection connect(String url, java.util.Properties info)
+    @Nullable Connection connect(String url, java.util.Properties info)
         throws SQLException;
 
     /**