Changed name of AWT menu option "Export" to "Save" to better express the
functionality of the option.