File file = chooser.getSelectedFile();
if ( file != null && state == JFileChooser.APPROVE_OPTION ) {
// if it does not have the .sgf extension already then add it
String fPath = file.getAbsolutePath();
fPath = SgfFileFilter.addExtIfNeeded(fPath, SgfFileFilter.SGF_EXTENSION);
GameExporter exporter = controller_.getExporter();
exporter.saveToFile(fPath, ae);
}
}