[jbosstools-dev] Broken build in jbosstools-4.2.x branch