[jbosstools-fuse-dev] Build failed in Jenkins: Fuse-Tooling-pullrequest #1260