Better fix for the race condition in DefaultServerMonitorSpecification