Мне нужно снова @Nonnull при реализации?

В аннотации к интерфейсу указано, что все реализации не должны возвращать null, в то время как в реализации указано, что она подчиняется этому контракту. Он не передается по наследству, и я не думаю, что это так.

Аннотация @CheckForNull определенно не наследуется, потому что подклассам разрешено сужать неопределенность возвращаемого типа так же, как они могут расширять ее для параметров, которые они принимают.

interface Credentials {
    @NonNull
    String getPassword();

    void setPassword(@NonNull password);
}

// Allows null password
class GoodCreds implements Credentials {
    // but cannot widen; throw exception for null instead
    @Overrides
    @NonNull
    String getPassword() {...}

    // can widen parameters
    @Overrides
    void setPassword(@CheckForNull password) {...}
}

Примечание: я добавлю подходящие аксессоры имени пользователя, чтобы продемонстрировать неправильное расширение в подклассе BadCreds, когда у меня будет время позже.