[jbosstools-issues] [JBoss JIRA] (JBIDE-24233) Server fails to stop when using non-standard management port