Manage Keys Dialog: new key is not added to the ssh-prefs if a key-file with the same name already exists

make sure you have a key-file in your ~/.ssh/ directory with the name of the key (ex. key.pem) we will create in the next step: 1) Choose "Manage Keys" in the context menu of your cloud 2) Create a new key (ex. key) 3) make sure "Save key in folder" is checked and path is set to ~/.ssh/ 4) delete key 5) hit cancel when the wizard asks you if the key shall be delete from the local key store 6) (eventually: check that the key (ex. key.pem) still exists in ~/.ssh) 7) (eventually: check that the key is not listed in the ssh-preferences - Preferences->General->Network Connections->SSH) Now create a new key with the same name: 1) Choose "Manage Keys" in the context menu of your cloud 2) Hit "New" and create a new key with the same name (ex. key) 3) You get informed that there was a problem while the key was created (see screenshot). Result: The key was not added to the ssh-prefs (Preferences->General->Network Connections->SSH)