Merge "Notify waiters when releasing the monitor"