else if (format.equals(TEXTFilter.TEXT)) writeXMLFile();
else if (format.equals(XMLFilter.XML)) WriterText.writeTableAsXML(f, mng.getModel());
    void saveROIResult(String format, String name, String msg)    {        UserNotifier un = control.getRegistry().getUserNotifier();        if (mng.getROIStats() == null)             un.notifyError("Save ROI results", msg);        else {            name +="."+format; //Add extension            File f = new File(name);            try {                if (format.equals(TEXTFilter.TEXT))                    WriterText.writeTableAsText(f, mng.getModel());                else if (format.equals(TEXTFilter.TEXT))                    writeXMLFile();                un.notifyInfo("ROI results saved", msg);            } catch (Exception e) {                f.delete();                un.notifyError("Save ROI result failure", "Unable to save the " +                        "result of the ROI analysis.",                                   e);            }        }    }