[jbosstools-dev] Jenkins build is back to normal : devstudio-6.0_trunk.updatesite #2749