Save and SaveAs refactored a little. 

SaveFile is now without side effects. It is now the public API.
Translation of the draw area menus.
Pref.java renamed into PreferencesWindow.java