saveSuccessful = true;
System.err.println("Saved " + datafile.file.getPath());
} catch (IOException e) {
logger.log(Level.SEVERE, "Encountered exception while closing "
+ datafile.file.getPath() + "; save aborted", e);
try { rfw.abort(); } catch (Exception ex) {}
}
} finally {
// if we couldn't successfully save the datafile, mark it as dirty.
if (!saveSuccessful)