[jbosstools-issues] [JBoss JIRA] (JBIDE-25909) Explorer: connection is not refreshed after editing credentials