Mon, 08 Jan 2007 08:32:10 +0000 Florian Pose Shorter critical sections in examples.