r="#dedeff"><h3><font color="black">28.5 Performance of the JVM back-end</font>
</h3></td></tr></table>
</div><div class="section">
<a name="Performance-of-the-JVM-back-end" class="mark"></a><a name="g28172" class="mark"></a>
We are currently improving and investigating about the performance of
the JVM back-end. JVM performance is extremely sensitive to the host
platform (for instance, very unfortunately, Linux seems to be a poor
platform to run JVM code). Currently, it seems that the JVM back-end
produces 