[jbosstools-issues] [JBoss JIRA] (JBIDE-13017) cannot add nor remove ssh keys with certain accounts