Automating the synchronization of software variants