如何把SWF文件转换为MP4文件

小林是一位英语教师，经常要制作一些小学生使用的英语课件。最近，学校领导交给她一个任务，要把一批扩展名为SWF的动画课件转为MP4格式，以适应不同的播放需要。