[Seaside-dev] Build failed in Jenkins: Seaside ┬╗ 40,release3.1,vm #847