node   = addElement(parent, name, saver.getClass().getName(), false, false);
node   = addElement(parent, name, saver.getClass().getName(), false);
  public Element writeSaver(Element parent, Object o, String name)      throws Exception {        Element                     node;    weka.core.converters.Saver  saver;    File                        file;    // for debugging only    if (DEBUG)       trace(new Throwable(), name);        saver = (weka.core.converters.Saver) o;    node   = addElement(parent, name, saver.getClass().getName(), false, false);    // file    if (saver instanceof weka.core.converters.ArffSaver)      file = ((weka.core.converters.ArffSaver) saver).retrieveFile();    else if (saver instanceof weka.core.converters.C45Saver)      file = ((weka.core.converters.C45Saver) saver).retrieveFile();    else if (saver instanceof weka.core.converters.CSVSaver)      file = ((weka.core.converters.CSVSaver) saver).retrieveFile();    else if (saver instanceof weka.core.converters.SerializedInstancesSaver)      file = ((weka.core.converters.SerializedInstancesSaver) saver).retrieveFile();    else      file = null;        if (file == null)      System.out.println("WARNING: unknown saver class '" + saver.getClass().getName() + "' - cannot write!");        // only save it, if it's a real file!    if ( (file == null) || (file.isDirectory()) )      invokeWriteToXML(node, "", VAL_FILE);    else      invokeWriteToXML(node, file.getAbsolutePath(), VAL_FILE);        return node;  }