JP 16: [thread.sharedtimedmutex.class] Add missing 'or' at end of
bullet.

Fixes #375.