checker/jtreg/nullness/issue380/DB.java

public class DB extends DA {
  void foo() {}
}