Issue #71: turn on GemStone-3.1.0.2 and see what happens