[jbosstools-issues] [JBoss JIRA] (JBIDE-15391) Investigate having ports UI add relevant command line args to server startup