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