((weka.core.converters.AbstractSaver) result).setFile(new File(file)); ((weka.core.converters.AbstractSaver) result).setDestination(new File(file));
((weka.core.converters.AbstractFileSaver) result).setFile(new File(file)); } else if ( (dir != null) && (prefix != null) ) { ((weka.core.converters.AbstractFileSaver) result).setDir(dir); ((weka.core.converters.AbstractFileSaver) result).setFilePrefix(prefix);
  public Object readSaver(Element node) throws Exception {    Object      result;    Vector      children;    Element     child;    int         i;    String      name;    String      file;    // for debugging only    if (DEBUG)       trace(new Throwable(), node.getAttribute(ATT_NAME));    m_CurrentNode = node;        result   = Class.forName(node.getAttribute(ATT_CLASS)).newInstance();    children = XMLDocument.getChildTags(node);    file     = "";    for (i = 0; i < children.size(); i++) {      child = (Element) children.get(i);      name  = child.getAttribute(ATT_NAME);      if (name.equals(VAL_FILE))        file = (String) invokeReadFromXML(child);      else        readFromXML(result, name, child);    }    if (file.equals(""))      file = null;        if (file != null) {      ((weka.core.converters.AbstractSaver) result).setFile(new File(file));      ((weka.core.converters.AbstractSaver) result).setDestination(new File(file));    }        return result;  }