package Ġcom . omen 2 7 3 . cross L ingo Ċ Ċ import Ġandroid . util . Json Writer Ċ import Ġjava . io . OutputStream Ċ import Ġjava . nio . charset . Charset Ċ Ċ class ĠConfig Writer Ġ{ ĊĊĠĠĠ Ġfun Ġwrite ( output Stream : ĠOutputStream , Ġstar Number : ĠInt ): ĠUnit Ġ= ĊĠĠĠĠĠĠĠ Ġwith ( Json Writer ( output Stream . writer ( Charset . forName ( MainActivity . DEFAULT _ ENCODING )))) Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġbegin Object () ĊĠĠĠĠĠĠĠĠĠĠĠ Ġname (" star _ number "). value ( star Number ) ĊĠĠĠĠĠĠĠĠĠĠĠ Ġend Object () ĊĠĠĠĠĠĠĠĠĠĠĠ Ġclose () ĊĠĠĠĠĠĠĠ Ġ} ĊĊĠĠĠ Ġfun Ġwrite ( output Stream : ĠOutputStream , Ġlevel : ĠString ): ĠUnit Ġ= ĊĠĠĠĠĠĠĠĠĠĠĠ Ġwith ( Json Writer ( output Stream . writer ( Charset . forName ( MainActivity . DEFAULT _ ENCODING )))) Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġbegin Object () ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġname (" level "). value ( level ) ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġend Object () ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġclose () ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ} Ċ }