[jbosstools-issues] [JBoss JIRA] (JBIDE-23409) Server editor should allow 'edit...' option for selected username - followup