<!-- Extending Java classes -->
<a name="Extending-Java-classes"></a>
<div class="subsection-atitle"><table width="100%"><tr><td bgcolor="#ffffff"><h3><font color="#8381de">28.4.4 Extending Java classes</font>
</h3></td></tr></table>
</div><div class="subsection">
<a name="Extending-Java-classes" class="mark"></a>A class definition may be split into several pieces. One class declaration
(see &lt;declare-class-clause&gt;) and several extensions. The syntax for a Java
class extension is:<br/><br/><center id='