// FILE: Aaa.java
// http://youtrack.jetbrains.com/issue/KT-1880

public class Aaa {
    public static final int i = 1;
}

// FILE: Bbb.java

public class Bbb extends Aaa {
    public static final String i = "s";
}

// FILE: b.kt

fun foo() = Bbb.i
