[jbosstools-issues] [JBoss JIRA] Reopened: (JBIDE-4489) JBoss Server View > XML Config > Ports > choose a file, right-click > Edit File does nothing or opens wrong file