public class Base {
    private final @org.jetbrains.annotations.NotNull field foo: java.lang.String
    public method <init>(): void
    public @org.jetbrains.annotations.NotNull method getFoo(): java.lang.String
}


public final class Derived {
    private final @org.jetbrains.annotations.NotNull field foo: java.lang.String
    public method <init>(): void
    public @org.jetbrains.annotations.NotNull method getFoo(): java.lang.String
}


public final class OverriddenInSubclassKt {
    public final static @org.jetbrains.annotations.NotNull method box(): java.lang.String
}