From b67e1d8a2c59f005d05c9f10120c2d39a5480740 Mon Sep 17 00:00:00 2001 From: Chris Povirk Date: Fri, 27 Sep 2024 14:12:11 -0400 Subject: [PATCH] Remove bogus `@Nullable` annotation from `DataInputStream.read`. I suspect that this was just an accident from the large initial commit of Checker Framework annotations: https://github.com/typetools/jdk/blame/f4d40f209b5b6e229199a6c134b105d54d9241dd/src/java.base/share/classes/java/io/DataInputStream.java#L113 --- src/java.base/share/classes/java/io/DataInputStream.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/java.base/share/classes/java/io/DataInputStream.java b/src/java.base/share/classes/java/io/DataInputStream.java index dcf893af71f..8d9f6e009e2 100644 --- a/src/java.base/share/classes/java/io/DataInputStream.java +++ b/src/java.base/share/classes/java/io/DataInputStream.java @@ -100,7 +100,7 @@ public DataInputStream(InputStream in) { * @see java.io.FilterInputStream#in * @see java.io.InputStream#read(byte[], int, int) */ - public final int read( byte b @Nullable []) throws IOException { + public final int read( byte b[]) throws IOException { return in.read(b, 0, b.length); }