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