[Another case of direct WAMutex class access](https://github.com/glassdb/Seaside30/pull/3#discussion-diff-3618225) ... presumably we can get this adjusted in Seaside3.1?