question: removes the given keyname from the ssh-preferences concode_field_sep String SSH_USERHOME_WIN32 concode_elem_sep String SSH2HOME concode_elem_sep String JSCH_PLUGIN_ID concode_elem_sep StringsPreferenceValue sshPrivateKeyPreference concode_elem_sep StringPreferenceValue sshHome concode_elem_sep String PRIVATEKEY concode_elem_sep String SSH_PREFERENCE_PAGE_ID concode_elem_sep String SSH_USERHOME concode_field_sep void add concode_elem_sep boolean isEmpty concode_elem_sep String[] getKeys concode_elem_sep String getSshKeyDirectory concode_elem_sep void openPreferencesPage concode_elem_sep File getKeyFile concode_elem_sep String getSshSystemHome
target: void function ( String arg0 ) { sshPrivateKeyPreference . remove ( arg0 ) ; }