// FILE: Some.java

public class Some {

}

// FILE: jvm.kt

class A : Some()