[Seaside-dev] Jenkins build is back to normal : Seaside ┬╗ 40,release3.1,vm #848