*/
public void saveGame(File file, AssertionError ae) {
String fPath = file.getAbsolutePath();
fPath = SgfFileFilter.addExtIfNeeded(fPath, SgfFileFilter.SGF_EXTENSION);
GameExporter exporter = controller_.getExporter();
exporter.saveToFile(fPath, ae);
}
/**
* Animate the last move so the player does not lose orientation.
* By default this just redraws the board, but for games with complex moves,