Changes

Summary

GraphModelBatchInjector: Add FRAGMENT_DICT_ID_KEY for the key used for unique fragments (details)

Commit a2882d462a4bc02fc0de158d955ae198eb702150 by Antonio Garcia-Dominguez GraphModelBatchInjector: Add FRAGMENT_DICT_ID_KEY for the key used for unique fragments
The file was modified	core/plugins/org.eclipse.hawk.graph/src/org/eclipse/hawk/graph/updater/GraphModelBatchInjector.java
The file was modified	core/tests/org.eclipse.hawk.integration.tests/src/org/eclipse/hawk/integration/tests/modelio/ModelioProxyResolutionTest.java
The file was modified	core/plugins/org.eclipse.hawk.graph/src/org/eclipse/hawk/graph/updater/DeletionUtils.java
The file was modified	core/tests/org.eclipse.hawk.graph.syncValidationListener/src/org/eclipse/hawk/graph/syncValidationListener/SyncValidationListener.java
The file was modified	core/plugins/org.eclipse.hawk.graph/src/org/eclipse/hawk/graph/updater/GraphModelInserter.java