AddressBook synchronization now uses a single mutex