[jbosstools-issues] [JBoss JIRA] (JBIDE-21475) Use vagrant.bat to start vagrant