[jbosstools-issues] [JBoss JIRA] (JBIDE-9923) Once cloning the repo fails because of missing key, you have to add your keys to the prefs and restart eclipse