Property.java

public final class Derived implements Base {
    public Derived(@org.jetbrains.annotations.NotNull Base x) { /* compiled code */ }

    @org.jetbrains.annotations.NotNull
    public java.lang.String getBoo() { /* compiled code */ }
}