Re: [jbosstools-dev] Vagrant tooling in JBoss Tools TP