</em> clause, <em id='emph28007'
>java</em> clauses are automatically
``transmitted'' by the importation process.  That is, if module
<code id='code28008'
>module1</code> imports a module <code id='code28009'
>module2</code>, <code id='code28010'
>module</code> treats the
<code id='code28011'
>java</code> clauses of <code id='code28012'
>module2</code> as though they were included in
its own module declaration. Redefinition of a variable or a function
already defined in an java clause is an error. However, 