[cdk] Current installer in windows bundles vagrant.bat, not vagrant.exe ------------------------------------------------------------------------ Key: JBIDE-21610 URL: https://issues.jboss.org/browse/JBIDE-21610 Project: Tools (JBoss Tools) Issue Type: Bug Components: cdk Affects Versions: 4.3.1.Beta2 Reporter: Rob Stryker Assignee: Rob Stryker Fix For: 4.3.1.CR1, 4.4.0.Alpha1 In order to locate vagrant on windows after using the pdk installer, we must expand the list of extensions searched for to include .bat.