@EnsuresNonNullIf produce contracts.conditional.postcondition error

[is-ivanov]

I have two methods in utilityclass

    @EnsuresNonNullIf(expression = "#1", result = true)
    public static boolean isOne(@Nullable Integer value) {
        return Objects.equals(value, 1);
    }

    @EnsuresNonNullIf(expression = "#1", result = true)
    public static boolean isOneOrZero(@Nullable Integer value) {
        return Objects.equals(value, 0) || Objects.equals(value, 1);
    }

After I added annotation @EnsuresNonNullIf(expression = "#1", result = true) I get the errors

 error: [contracts.conditional.postcondition] conditional postcondition is not satisfied when isOne returns true.
        return Objects.equals(value, 1);
        ^
  found   : value is @Nullable
  required: value is @NonNull
  
  error: [contracts.conditional.postcondition] conditional postcondition is not satisfied when isOneOrZero returns true.
        return Objects.equals(value, 0) || Objects.equals(value, 1);
        ^
  found   : value is @Nullable
  required: value is @NonNull

Objects.equals -> from jdk package java.util

I added jdk.astub file

import org.checkerframework.checker.nullness.qual.Nullable;

package java.util;

public final class Objects {
    public static boolean equals(@Nullable Object a, @Nullable Object b);
}

but it doesn't help.