[FIXED JENKINS-21437] Mismatched synchronization monitor.