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.