Synch version with jbosstools-4.2.x branch