Very corner case that could be relevant to issue #60 : write lock might not be released if lock downgrade fails
synchronization on this getter is no longer necessary. Unlikely to affect issue #60.
Merge remote-tracking branch 'remotes/origin/master' into MR1