// Ġ! LANGUAGE : Ġ- Throw N pe On Explicit Equals For Boxed Null Ċ // ĠIG NORE _ BACKEND : ĠJVM _ IR Ċ // ĠFILE : ĠJava Class . java Ċ Ċ public Ġclass ĠJava Class Ġ{ ĊĊĠĠĠ Ġpublic ĠDouble Ġminus 0 (){ ĊĠĠĠĠĠĠĠ Ġreturn Ġ- 0 . 0 ; ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġpublic ĠDouble Ġplus 0 (){ ĊĠĠĠĠĠĠĠ Ġreturn Ġ 0 . 0 ; ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġpublic ĠDouble Ġnull 0 (){ ĊĠĠĠĠĠĠĠ Ġreturn Ġnull ; ĊĠĠĠ Ġ} Ċ Ċ } ĊĊ Ċ // ĠFILE : Ġb . kt Ċ Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ Ġval Ġj Class Ġ= ĠJava Class () ĊĊĠĠĠ Ġif Ġ( j Class . null 0 (). equals ( j Class . plus 0 ())) Ġreturn Ġ" fail Ġ 6 " ĊĠĠĠ Ġif Ġ( j Class . minus 0 (). equals ( j Class . null 0 ())) Ġreturn Ġ" fail Ġ 7 " ĊĠĠĠ Ġreturn Ġ" OK " Ċ } ĊĊ