DefaultInterface.java

import checkers.nullness.quals.*;
import checkers.quals.DefaultQualifier;
@DefaultQualifier("checkers.nullness.quals.NonNull")
interface Foo {
    void foo(String a, String b);
}

@DefaultQualifier("checkers.nullness.quals.NonNull")
class DefaultInterface {

    public void test() {

        @Nullable Foo foo = null;

    }


}