[401816] Refresh the workspace after saving the comparison model

Bug: 401816
Change-Id: Ic2cb4e878fc0ec97e6b68218b9e23747ae744059
1 file changed
tree: ffb5438397162114569e2121883a8daffb24c121
  1. org.eclipse.emf.compare-parent/
  2. packaging/
  3. plugins/
  4. .gitignore