[jbosstools-issues] [JBoss JIRA] (JBIDE-9794) Add a CLI batch file feature