color="#1919af"><strong id='bold35295'
>module</strong></font> <font color="#1919af"><strong id='bold35297'
>java-example2</strong></font>
   (<font color="#1919af"><strong id='bold35299'
>import</strong></font> <font color="#1919af"><strong id='bold35301'
>java-example</strong></font>)
   (java (<strong id='bold35303'
>class</strong> point 
            (field y<font color="#00cf00"><strong id='bold35304'
>::int</strong></font> <font color="red">&quot;y&quot;</font>)
            (field static num<font color