the definition of
a Java class or an Java abstract class may be enriched from module to
module.<br/><br/>
<!-- Automatic Java clauses generation -->
<a name="Automatic-Java-clauses-generation"></a>
<div class="subsection-atitle"><table width="100%"><tr><td bgcolor="#ffffff"><h3><font color="#8381de">28.4.1 Automatic Java clauses generation</font>
</h3></td></tr></table>
</div><div class="subsection">
<a name="Automatic-Java-clauses-generation" class="mark"></a><a name="g28014" class="mark"></a><a name="g280