PrintArray.java

public class PrintArray {
    // the I18n checker correctly issues an error and Nullness org.checkerframework.checker
    // correctly issue a warning below, but we would like to keep this
    // test in all-systems.
    @SuppressWarnings({"I18n", "nullness:known.nonnull"})
    public static final void print(java.io.PrintStream ps, Object[][] a) {
        if (a == null) {
            ps.println("null");
            return;
        }
        // When analyzing this call, we see an exception about taking the LUB
        // of ATMs with different numbers of qualifiers.
        ps.print('7');
    }
}