// ĠFIR _ IDENT ICAL Ċ // ĠFILE : ĠBox . java Ċ import Ġorg . jetbrains . annotations . NotNull ; Ċ Ċ public Ġclass ĠBox < T > Ġ{ ĊĠĠĠ Ġpublic Ġvoid Ġput (@ NotNull ĠT Ġt ) Ġ{} Ċ } Ċ Ċ // ĠFILE : ĠInt Box . java Ċ import Ġorg . jetbrains . annotations . NotNull ; Ċ Ċ public Ġclass ĠInt Box Ġextends ĠBox < Integer > Ġ{ ĊĠĠĠ Ġpublic Ġint Ġresult Ġ= Ġ 0 ; ĊĠĠĠ Ġ@ Override ĊĠĠĠ Ġpublic Ġvoid Ġput (@ NotNull ĠInteger Ġt ) Ġ{ ĊĠĠĠĠĠĠĠ Ġresult Ġ= Ġt ; ĊĠĠĠ Ġ} Ċ } Ċ Ċ // ĠFILE : Ġmain . kt Ċ fun Ġmain () Ġ{ ĊĠĠĠ ĠInt Box (). put ( 1 ) Ċ } Ċ