SSH keys wizard: deleting a character in the private key, does not delete it for the public key

ASSERT: make sure you have a valid user account on OpenShift EXEC: choose Manage SSH Keys from the context menu in the OpenShift Explorer EXEC: create New key EXEC: type a name for the private key ASSERT: public key gets the same characters as the ones you type for the private key EXEC: delete a character Result: The wizard does not delete the character in the text field for the public key. In fact the characters typed for the private key only get added to the public key as soon as the private key matches the name of the public key again.