Setting new default overrideStrategy for the IntentSynchronizer and make
sure that IntentDocumentProvider only save changes once when merging
local and remote ASTs
2 files changed