Commit Seaside 3.1.3 (copy from Smalltalkhub)