[jbosstools-fuse-dev] Jenkins build is back to normal : Fuse-Tooling-pullrequest #756