/*
 * @test
 * @summary Test case for issue #2173: https://github.com/typetools/checker-framework/issues/2173
 * See README in this directory.
 *
 * @compile/ref=View.out -XDrawDiagnostics -processor org.checkerframework.checker.nullness.NullnessChecker View.java -Anomsgtext
 * @compile -processor org.checkerframework.checker.nullness.NullnessChecker View.java -AignoreInvalidAnnotationLocations -Werror
 */

public class View {
  private static void createTable() {
    ImporterManager.chooseAndImportFile("");
  }
}