compiler/testData/codegen/boxAgainstJava/syntheticExtensions/getter.java

class JavaClass {
    public String getOk() { return "OK"; }
}