int speed = Integer.parseInt(selected_value);
if ( file_chooser_ == null )
{
file_chooser_ = new JFileChooser();
file_chooser_.addChoosableFileFilter(new GenericFileFilter("Flash Animation (*.swf)", "swf"));
}
if ( file_chooser_.showSaveDialog(drawing_panel_) == JFileChooser.APPROVE_OPTION )
{
FlashGenerator generator = new FlashGenerator(drawing_panel_.getCanvasSize(), speed);
File selected_file = checkFileExtension(file_chooser_.getSelectedFile());