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