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