
>java-example</strong></font>
   (java (<strong id='bold35277'
>class</strong> point
            (constructor new-default ())
            (field x<font color="#00cf00"><strong id='bold35278'
>::int</strong></font> <font color="red">&quot;x&quot;</font>)
            (method show<font color="#00cf00"><strong id='bold35281'
>::void</strong></font> (<font color="#00cf00"><strong id='bold35283'
>::point</strong></font>) <font color="red">&quot;show&quot;</font>)
            (method static statistics<font color=