For Seaside3.1 perhaps we can make the mutex class pluggable?