From e50a9cb219346ae62aedc74943619b3830f7baca Mon Sep 17 00:00:00 2001
From: Chris Povirk <cpovirk@google.com>
Date: Mon, 1 Jun 2026 16:21:24 -0400
Subject: [PATCH] Annotate `GZIPInputStream`.

Compare https://github.com/google/xplat/commit/b4016f2f0210f2a235de0d9c2d7bb4625e068021
---
 src/java.base/share/classes/java/util/zip/GZIPInputStream.java | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/java.base/share/classes/java/util/zip/GZIPInputStream.java b/src/java.base/share/classes/java/util/zip/GZIPInputStream.java
index ab7ea53793f..bea4e3e89ed 100644
--- a/src/java.base/share/classes/java/util/zip/GZIPInputStream.java
+++ b/src/java.base/share/classes/java/util/zip/GZIPInputStream.java
@@ -32,6 +32,7 @@
 import java.io.IOException;
 import java.io.EOFException;
 import java.util.Objects;
+import org.jspecify.annotations.NullMarked;
 
 /**
  * This class implements a stream filter for reading compressed data in
@@ -42,6 +43,7 @@
  * @since 1.1
  *
  */
+@NullMarked
 public class GZIPInputStream extends InflaterInputStream {
     /**
      * CRC-32 for uncompressed data.