Documenting and testing another case for @synchronized