// File ĠD . java Ċ import Ġkotlin . Metadata ; Ċ import Ġorg . jetbrains . annotations . NotNull ; Ċ Ċ public Ġfinal Ġclass ĠD Ġextends ĠC Ġ{ ĊĠĠ Ġ@ NotNull ĊĠĠ Ġpublic ĠString Ġf () Ġ{ ĊĠĠĠĠĠ Ġreturn Ġ" D Ġf "; ĊĠĠ Ġ} Ċ } ĊĊ Ċ // File ĠMain . kt ĊĊ Ċ fun Ġbox (): ĠString { ĊĠĠĠ Ġval Ġd Ġ: ĠC Ġ= ĠD () ĊĠĠĠ Ġif ( d . f () Ġ!= Ġ" D Ġf ") Ġreturn Ġ" fail Ġf " ĊĠĠĠ Ġreturn Ġ" OK " Ċ } ĊĊĊ Ċ // File ĠC . java Ċ import Ġkotlin . Metadata ; Ċ import Ġorg . jetbrains . annotations . NotNull ; Ċ Ċ public Ġclass ĠC Ġ{ ĊĠĠ Ġ@ NotNull ĊĠĠ Ġpublic ĠObject Ġf () Ġ{ ĊĠĠĠĠĠ Ġreturn Ġ" C Ġf "; ĊĠĠ Ġ} Ċ } Ċ