<map id="G" name="G">
<area shape="rect" id="c26649" href="./ExecutionControlGUI.html" title="jason.control.ExecutionControlGUI" alt="" coords="15,110,233,141"/>
<area shape="rect" id="c26650" href="./ExecutionControl.html" title="jason.control.ExecutionControl" alt="" coords="32,14,216,45"/>
</map>
