public final class Derived /* Derived*/ implements Base {
  @org.jetbrains.annotations.NotNull()
  public java.lang.String getBoo();//  getBoo()

  public  Derived(@org.jetbrains.annotations.NotNull() Base);//  .ctor(Base)
}
