[jbosstools-dev] Jenkins build is back to stable : jbosstools-4.0_trunk.component--hibernatetools #40