abstract class B : ArrayList<Int>, Java1 {
  constructor() /* primary */ {
    super/*ArrayList*/<@FlexibleNullability Int?>()
    /* <init>() */

  }

}