class A : Java1 {
  constructor() /* primary */ {
    super/*Java1*/()
    /* <init>() */

  }

}

class B : Java1 {
  constructor() /* primary */ {
    super/*Java1*/()
    /* <init>() */

  }

  fun bar(): String {
    return CHECK_NOT_NULL<Nothing>(arg0 = null)
  }

  fun foo(t: String) {
  }

}
