<map id="G" name="G">
<area shape="rect" id="c37051" href="../InfrastructureFactory.html" title="jason.infra.InfrastructureFactory" alt="" coords="15,11,238,77"/>
<area shape="rect" id="c37067" href="./JadeFactory.html" title="jason.infra.jade.JadeFactory" alt="" coords="57,139,196,170"/>
</map>
