Improvement, now gets the CDOSession already opened instead of creating
a new one.
diff --git a/org.eclipse.opencert.chess.argumentGenerator/src/org/eclipse/opencert/chess/argumentGenerator/argumentation/CHESSContract2OpencertArgumentGenerator.java b/org.eclipse.opencert.chess.argumentGenerator/src/org/eclipse/opencert/chess/argumentGenerator/argumentation/CHESSContract2OpencertArgumentGenerator.java
index 1408296..a420b9d 100755
--- a/org.eclipse.opencert.chess.argumentGenerator/src/org/eclipse/opencert/chess/argumentGenerator/argumentation/CHESSContract2OpencertArgumentGenerator.java
+++ b/org.eclipse.opencert.chess.argumentGenerator/src/org/eclipse/opencert/chess/argumentGenerator/argumentation/CHESSContract2OpencertArgumentGenerator.java
@@ -147,7 +147,8 @@
PreferenceConstants.getRepositoryName(),
PreferenceConstants.getProtocol(),
PreferenceConstants.getServerName());
- CDOSession session = CDOConnectionUtil.instance.openSession();
+ CDOSession session = CDOConnectionUtil.instance.getCurrentSession();
+
view = CDOConnectionUtil.instance.openView(session);
options.put(XMLResource.OPTION_ENCODING, UTF_8);
this.monitor=monitor;
diff --git a/org.eclipse.opencert.chess.argumentGenerator/src/org/eclipse/opencert/chess/argumentGenerator/dialogs/ArgumentationGenerationDialog.java b/org.eclipse.opencert.chess.argumentGenerator/src/org/eclipse/opencert/chess/argumentGenerator/dialogs/ArgumentationGenerationDialog.java
index e87963f..5fb0a3f 100644
--- a/org.eclipse.opencert.chess.argumentGenerator/src/org/eclipse/opencert/chess/argumentGenerator/dialogs/ArgumentationGenerationDialog.java
+++ b/org.eclipse.opencert.chess.argumentGenerator/src/org/eclipse/opencert/chess/argumentGenerator/dialogs/ArgumentationGenerationDialog.java
@@ -71,7 +71,7 @@
PreferenceConstants.getRepositoryName(),
PreferenceConstants.getProtocol(),
PreferenceConstants.getServerName());
- CDOSession session = CDOConnectionUtil.instance.openSession();
+ CDOSession session = CDOConnectionUtil.instance.getCurrentSession();
view = CDOConnectionUtil.instance.openView(session);
options.put(XMLResource.OPTION_ENCODING, UTF_8);
this.model=inputModel;
