Migrate the synchronized statement