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

public class FullyQualified {

  public void format1(java.lang.String a1, java.lang. @Nullable Object... a2) {
    // body
  }

}