// Create temporary files
BufferedWriter out;
try {
out = new BufferedWriter(new RobustFileWriter(datafile.file));
} catch (IOException e) {
System.err.println("IOException " + e + " while opening " +
datafile.file.getPath() + "; save aborted");
return;
}