[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 Labels: respin-a In order to locate vagrant on windows after using the pdk installer, we must expand the list of extensions searched for to include .bat.