fixed bad smells in class Synchronizer