[Seaside-dev] Build failed in Jenkins: Seaside ┬╗ 50,release3.0,vm #846