[jbosstools-issues] [JBoss JIRA] (JBIDE-20482) WF9 and WF10 missing 'port offset' in ports section of editor