Workaround for FileChooser bug on Mac : select correct file using a modal

This PR introduce a workaround for the issue with file extensions on Mac OS X.
When the selected file does not exist, the Swing frontend looks for files that could match it and then offer to choose the correct file, using a modal.