((weka.core.converters.AbstractFileSaver) result).setFilePrefix(prefix);
((weka.core.converters.AbstractFileSaver) result).setFilePrefix(prefix);
((weka.core.converters.AbstractFileSaver) saver).setDir(dir); ((weka.core.converters.AbstractFileSaver) saver) .setFilePrefix(prefix);
((weka.core.converters.AbstractFileSaver) saver).setDir(dir); ((weka.core.converters.AbstractFileSaver) saver) .setFilePrefix(prefix);