<map id="G" name="G">
<area shape="rect" id="c41674" href="./JasonIDPlugin.html" title="jason.jeditplugin.JasonIDPlugin" alt="" coords="16,118,168,149"/>
<area shape="rect" id="c41765" href="http://java.sun.com/j2se/1.4.2/docs/api/org/gjt/sp/jedit/EBPlugin.html" title="org.gjt.sp.jedit.EBPlugin" alt="" coords="41,11,143,55"/>
</map>
