645646647648649650651652
/** * @return Returns the jexf. */ private JExternalFrame getJexf() { if (jexf == null) jexf = new JExternalFrame(); return jexf; }