// FIR_IDENTICAL
//FILE: Bbb.kt
open class Bbb

//FILE: Ccc.java
public class Ccc extends Bbb {
}

//FILE: Ddd.kt
import Ccc