[jbosstools-issues] [JBoss JIRA] Closed: (JBIDE-9094) Make it possible to control if a server is launched at start or not