setDir(System.getProperty("user.dir"));
setDir(System.getProperty("user.dir"));
((weka.core.converters.AbstractFileSaver) result).setDir(dir); ((weka.core.converters.AbstractFileSaver) result).setFilePrefix(prefix);
((weka.core.converters.AbstractFileSaver) result).setDir(dir); ((weka.core.converters.AbstractFileSaver) result).setFilePrefix(prefix);
String prefix = saverNode.getChild("prefix").getValue().toString(); if (dir != null && prefix != null) { ((weka.core.converters.AbstractFileSaver) saver).setDir(dir); ((weka.core.converters.AbstractFileSaver) saver) .setFilePrefix(prefix);
String prefix = saverNode.getChild("prefix").getValue().toString(); if (dir != null && prefix != null) { ((weka.core.converters.AbstractFileSaver) saver).setDir(dir); ((weka.core.converters.AbstractFileSaver) saver) .setFilePrefix(prefix);