// File ĠT . java Ċ import Ġkotlin . Metadata ; Ċ import Ġorg . jetbrains . annotations . NotNull ; Ċ Ċ public Ġinterface ĠT Ġ{ ĊĠĠ Ġ@ NotNull ĊĠĠ ĠString Ġget Result (); ĊĊĠĠ Ġvoid Ġset Result (@ NotNull ĠString Ġvar 1 ); Ċ } ĊĊ Ċ // File ĠA . java Ċ import Ġkotlin . Metadata ; Ċ import Ġkotlin . jvm . internal . Intr insics ; Ċ import Ġorg . jetbrains . annotations . NotNull ; Ċ Ċ public Ġclass ĠA Ġimplements ĠT Ġ{ ĊĠĠ Ġ@ NotNull ĊĠĠ Ġpublic ĠString Ġget Result () Ġ{ ĊĠĠĠĠĠ Ġreturn Ġ""; ĊĠĠ Ġ} ĊĊĠĠ Ġpublic Ġvoid Ġset Result (@ NotNull ĠString Ġvalue ) Ġ{ ĊĠĠĠĠĠ Ġ} Ċ } ĊĊ Ċ // File ĠB . java Ċ import Ġkotlin . Metadata ; Ċ Ċ public Ġfinal Ġclass ĠB Ġextends ĠA Ġimplements ĠT Ġ{ Ċ } ĊĊ Ċ // File ĠMain . kt ĊĊ Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ ĠB (). result Ġ= Ġ"" ĊĠĠĠ ĠC (). result Ġ= Ġ"" ĊĠĠĠ Ġreturn Ġ" OK " Ċ } ĊĊĊ Ċ // File ĠC . java Ċ import Ġkotlin . Metadata ; Ċ Ċ public Ġfinal Ġclass ĠC Ġextends ĠA Ġimplements ĠT Ġ{ Ċ } Ċ