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