Imports1.java

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

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