Merge "Correct monitor pool synchronization" into nyc-dev
am: da19488a46

* commit 'da19488a46bf9d0828ce88c504f7fbddddf805ed':
  Correct monitor pool synchronization

Change-Id: Id280a8daefb6f05c440d0a5c31a6c12cc5a64be1