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