System.out.println("SimpleTableau.close(): effigy: " + effigy);
if (effigy.isModified()) {
File file = effigy.getWritableFile();
System.out.println("Writing " + file);
try {
effigy.writeFile(file);
effigy.setModified(false);
} catch (IOException ex) {
throw new KernelRuntimeException(effigy, "Failed to write "
+ file);
}