[Seaside-dev] Build failed in Jenkins: Seaside ┬╗ 30,development,vm #392