diff --git a/src/java.base/share/classes/java/nio/charset/spi/CharsetProvider.java b/src/java.base/share/classes/java/nio/charset/spi/CharsetProvider.java index 4522f07d227..548bb08486d 100644 --- a/src/java.base/share/classes/java/nio/charset/spi/CharsetProvider.java +++ b/src/java.base/share/classes/java/nio/charset/spi/CharsetProvider.java @@ -28,6 +28,8 @@ import java.nio.charset.Charset; import java.util.Iterator; +import org.jspecify.annotations.NullMarked; +import org.jspecify.annotations.Nullable; /** * Charset service-provider class. @@ -79,7 +81,7 @@ * * @see java.nio.charset.Charset */ - +@NullMarked public abstract class CharsetProvider { /** @@ -109,6 +111,6 @@ protected CharsetProvider() { * or {@code null} if the named charset * is not supported by this provider */ - public abstract Charset charsetForName(String charsetName); + public abstract @Nullable Charset charsetForName(String charsetName); }