Imports2.java

// import org.checkerframework.checker.nullness.qual.EnsuresNonNull;

public class Imports2 {
    void call() {
        java.util.Arrays.asList("m", 1);
    }
}