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