diff --git a/eclipse-workspace/.metadata/.log b/eclipse-workspace/.metadata/.log
index 658756d..8555f84 100644
--- a/eclipse-workspace/.metadata/.log
+++ b/eclipse-workspace/.metadata/.log
@@ -8872,3 +8872,123 @@ java.lang.InterruptedException
at org.eclipse.osgi.container.SystemModule.stop(SystemModule.java:207)
at org.eclipse.osgi.internal.framework.EquinoxBundle$SystemBundle$EquinoxSystemModule$1.run(EquinoxBundle.java:220)
at java.base/java.lang.Thread.run(Thread.java:829)
+!SESSION 2021-10-18 17:31:17.884 -----------------------------------------------
+eclipse.buildId=4.17.0.I20200902-1800
+java.version=11.0.11
+java.vendor=Ubuntu
+BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=fr_FR
+Framework arguments: -product org.eclipse.epp.package.modeling.product
+Command-line arguments: -os linux -ws gtk -arch x86_64 -product org.eclipse.epp.package.modeling.product
+
+!ENTRY org.eclipse.pde.core 4 0 2021-10-18 17:58:55.164
+!MESSAGE Le type d'élément "or" doit se terminer par la balise de fin correspondante "".
+!STACK 0
+org.xml.sax.SAXParseException; lineNumber: 25; columnNumber: 9; Le type d'élément "or" doit se terminer par la balise de fin correspondante "".
+ at java.xml/com.sun.org.apache.xerces.internal.util.ErrorHandlerWrapper.createSAXParseException(ErrorHandlerWrapper.java:204)
+ at java.xml/com.sun.org.apache.xerces.internal.util.ErrorHandlerWrapper.fatalError(ErrorHandlerWrapper.java:178)
+ at java.xml/com.sun.org.apache.xerces.internal.impl.XMLErrorReporter.reportError(XMLErrorReporter.java:400)
+ at java.xml/com.sun.org.apache.xerces.internal.impl.XMLErrorReporter.reportError(XMLErrorReporter.java:327)
+ at java.xml/com.sun.org.apache.xerces.internal.impl.XMLScanner.reportFatalError(XMLScanner.java:1471)
+ at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl.scanEndElement(XMLDocumentFragmentScannerImpl.java:1685)
+ at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl$FragmentContentDriver.next(XMLDocumentFragmentScannerImpl.java:2883)
+ at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentScannerImpl.next(XMLDocumentScannerImpl.java:605)
+ at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl.scanDocument(XMLDocumentFragmentScannerImpl.java:534)
+ at java.xml/com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(XML11Configuration.java:888)
+ at java.xml/com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(XML11Configuration.java:824)
+ at java.xml/com.sun.org.apache.xerces.internal.parsers.XMLParser.parse(XMLParser.java:141)
+ at java.xml/com.sun.org.apache.xerces.internal.parsers.DOMParser.parse(DOMParser.java:246)
+ at java.xml/com.sun.org.apache.xerces.internal.jaxp.DocumentBuilderImpl.parse(DocumentBuilderImpl.java:339)
+ at java.xml/javax.xml.parsers.DocumentBuilder.parse(DocumentBuilder.java:122)
+ at org.eclipse.pde.internal.core.builders.BuildErrorReporter.validateFragmentContributions(BuildErrorReporter.java:673)
+ at org.eclipse.pde.internal.core.builders.BuildErrorReporter.validateBinIncludes(BuildErrorReporter.java:629)
+ at org.eclipse.pde.internal.core.builders.BuildErrorReporter.validateBuild(BuildErrorReporter.java:320)
+ at org.eclipse.pde.internal.core.builders.BuildErrorReporter.validate(BuildErrorReporter.java:208)
+ at org.eclipse.pde.internal.core.builders.ErrorReporter.validateContent(ErrorReporter.java:111)
+ at org.eclipse.pde.internal.core.builders.ManifestConsistencyChecker.validateBuildProperties(ManifestConsistencyChecker.java:360)
+ at org.eclipse.pde.internal.core.builders.ManifestConsistencyChecker.validateProject(ManifestConsistencyChecker.java:269)
+ at org.eclipse.pde.internal.core.builders.ManifestConsistencyChecker.build(ManifestConsistencyChecker.java:192)
+ at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:832)
+ at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45)
+ at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:220)
+ at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:263)
+ at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:316)
+ at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45)
+ at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:319)
+ at org.eclipse.core.internal.events.BuildManager.basicBuildLoop(BuildManager.java:371)
+ at org.eclipse.core.internal.events.BuildManager.build(BuildManager.java:392)
+ at org.eclipse.core.internal.events.AutoBuildJob.doBuild(AutoBuildJob.java:154)
+ at org.eclipse.core.internal.events.AutoBuildJob.run(AutoBuildJob.java:244)
+ at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63)
+
+!ENTRY org.eclipse.pde.core 4 0 2021-10-18 17:58:55.167
+!MESSAGE Le type d'élément "or" doit se terminer par la balise de fin correspondante "".
+!STACK 0
+org.xml.sax.SAXParseException; lineNumber: 25; columnNumber: 9; Le type d'élément "or" doit se terminer par la balise de fin correspondante "".
+ at java.xml/com.sun.org.apache.xerces.internal.util.ErrorHandlerWrapper.createSAXParseException(ErrorHandlerWrapper.java:204)
+ at java.xml/com.sun.org.apache.xerces.internal.util.ErrorHandlerWrapper.fatalError(ErrorHandlerWrapper.java:178)
+ at java.xml/com.sun.org.apache.xerces.internal.impl.XMLErrorReporter.reportError(XMLErrorReporter.java:400)
+ at java.xml/com.sun.org.apache.xerces.internal.impl.XMLErrorReporter.reportError(XMLErrorReporter.java:327)
+ at java.xml/com.sun.org.apache.xerces.internal.impl.XMLScanner.reportFatalError(XMLScanner.java:1471)
+ at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl.scanEndElement(XMLDocumentFragmentScannerImpl.java:1685)
+ at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl$FragmentContentDriver.next(XMLDocumentFragmentScannerImpl.java:2883)
+ at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentScannerImpl.next(XMLDocumentScannerImpl.java:605)
+ at java.xml/com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl.scanDocument(XMLDocumentFragmentScannerImpl.java:534)
+ at java.xml/com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(XML11Configuration.java:888)
+ at java.xml/com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(XML11Configuration.java:824)
+ at java.xml/com.sun.org.apache.xerces.internal.parsers.XMLParser.parse(XMLParser.java:141)
+ at java.xml/com.sun.org.apache.xerces.internal.parsers.DOMParser.parse(DOMParser.java:246)
+ at java.xml/com.sun.org.apache.xerces.internal.jaxp.DocumentBuilderImpl.parse(DocumentBuilderImpl.java:339)
+ at java.xml/javax.xml.parsers.DocumentBuilder.parse(DocumentBuilder.java:122)
+ at org.eclipse.pde.internal.core.builders.BuildErrorReporter.validateApplicationContributions(BuildErrorReporter.java:689)
+ at org.eclipse.pde.internal.core.builders.BuildErrorReporter.validateBinIncludes(BuildErrorReporter.java:631)
+ at org.eclipse.pde.internal.core.builders.BuildErrorReporter.validateBuild(BuildErrorReporter.java:320)
+ at org.eclipse.pde.internal.core.builders.BuildErrorReporter.validate(BuildErrorReporter.java:208)
+ at org.eclipse.pde.internal.core.builders.ErrorReporter.validateContent(ErrorReporter.java:111)
+ at org.eclipse.pde.internal.core.builders.ManifestConsistencyChecker.validateBuildProperties(ManifestConsistencyChecker.java:360)
+ at org.eclipse.pde.internal.core.builders.ManifestConsistencyChecker.validateProject(ManifestConsistencyChecker.java:269)
+ at org.eclipse.pde.internal.core.builders.ManifestConsistencyChecker.build(ManifestConsistencyChecker.java:192)
+ at org.eclipse.core.internal.events.BuildManager$2.run(BuildManager.java:832)
+ at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45)
+ at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:220)
+ at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:263)
+ at org.eclipse.core.internal.events.BuildManager$1.run(BuildManager.java:316)
+ at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45)
+ at org.eclipse.core.internal.events.BuildManager.basicBuild(BuildManager.java:319)
+ at org.eclipse.core.internal.events.BuildManager.basicBuildLoop(BuildManager.java:371)
+ at org.eclipse.core.internal.events.BuildManager.build(BuildManager.java:392)
+ at org.eclipse.core.internal.events.AutoBuildJob.doBuild(AutoBuildJob.java:154)
+ at org.eclipse.core.internal.events.AutoBuildJob.run(AutoBuildJob.java:244)
+ at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63)
+
+!ENTRY org.eclipse.emf.cdo.explorer 4 0 2021-10-18 19:02:39.100
+!MESSAGE InterruptedException
+!STACK 0
+java.lang.InterruptedException
+ at java.base/java.util.concurrent.locks.AbstractQueuedSynchronizer.acquireSharedInterruptibly(AbstractQueuedSynchronizer.java:1343)
+ at java.base/java.util.concurrent.Semaphore.acquire(Semaphore.java:318)
+ at org.eclipse.net4j.util.lifecycle.Lifecycle.lock(Lifecycle.java:312)
+ at org.eclipse.net4j.util.lifecycle.Lifecycle.internalDeactivate(Lifecycle.java:118)
+ at org.eclipse.net4j.util.lifecycle.ShareableLifecycle.internalDeactivate(ShareableLifecycle.java:52)
+ at org.eclipse.net4j.util.lifecycle.Lifecycle.deactivate(Lifecycle.java:170)
+ at org.eclipse.net4j.util.lifecycle.LifecycleUtil.deactivate(LifecycleUtil.java:235)
+ at org.eclipse.net4j.util.lifecycle.LifecycleUtil.deactivate(LifecycleUtil.java:225)
+ at org.eclipse.emf.cdo.internal.explorer.bundle.OM.disposeManagers(OM.java:83)
+ at org.eclipse.emf.cdo.internal.explorer.bundle.OM$Activator.doStop(OM.java:136)
+ at org.eclipse.net4j.util.om.OSGiActivator.stop(OSGiActivator.java:92)
+ at org.eclipse.osgi.internal.framework.BundleContextImpl$3.run(BundleContextImpl.java:871)
+ at org.eclipse.osgi.internal.framework.BundleContextImpl$3.run(BundleContextImpl.java:1)
+ at java.base/java.security.AccessController.doPrivileged(Native Method)
+ at org.eclipse.osgi.internal.framework.BundleContextImpl.stop(BundleContextImpl.java:863)
+ at org.eclipse.osgi.internal.framework.EquinoxBundle.stopWorker0(EquinoxBundle.java:1025)
+ at org.eclipse.osgi.internal.framework.EquinoxBundle$EquinoxModule.stopWorker(EquinoxBundle.java:370)
+ at org.eclipse.osgi.container.Module.doStop(Module.java:660)
+ at org.eclipse.osgi.container.Module.stop(Module.java:521)
+ at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.decStartLevel(ModuleContainer.java:1886)
+ at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1761)
+ at org.eclipse.osgi.container.SystemModule.stopWorker(SystemModule.java:275)
+ at org.eclipse.osgi.internal.framework.EquinoxBundle$SystemBundle$EquinoxSystemModule.stopWorker(EquinoxBundle.java:202)
+ at org.eclipse.osgi.container.Module.doStop(Module.java:660)
+ at org.eclipse.osgi.container.Module.stop(Module.java:521)
+ at org.eclipse.osgi.container.SystemModule.stop(SystemModule.java:207)
+ at org.eclipse.osgi.internal.framework.EquinoxBundle$SystemBundle$EquinoxSystemModule$1.run(EquinoxBundle.java:220)
+ at java.base/java.lang.Thread.run(Thread.java:829)
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/1c/10546b902c30001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/1c/10546b902c30001c17b0b74a42e31a54
new file mode 100644
index 0000000..d44d69c
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/1c/10546b902c30001c17b0b74a42e31a54
@@ -0,0 +1,22 @@
+
+
+
+
+
+
+
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/1d/200003d02a30001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/1d/200003d02a30001c17b0b74a42e31a54
new file mode 100644
index 0000000..319402a
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/1d/200003d02a30001c17b0b74a42e31a54
@@ -0,0 +1,20 @@
+[comment encoding = UTF-8 /]
+[module toLTL('http://simplepdl')]
+
+
+[template public processToLTL(aProcess : Process)]
+[comment @main/]
+[file (aProcess.name + '.ltl', false, 'UTF-8')]
+[let wds : OrderedSet(WorkDefinition) = aProcess.getWDs() ]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')][self.name + '_finished'/][/for]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')]['(' + self.name + '_idle /\\ -' + self.name + '_running /\\ -' + self.name + '_finished) \\/ (-' + self.name + '_idle /\\ ' + self.name + '_running /\\ -' + self.name + '_finished) \\/ (' + self.name + '_idle /\\ -' + self.name + '_running /\\ -' + self.name + '_finished)'/][/for]
+[/let]
+[/file]
+[/template]
+
+
+[query public getWDs(p: Process) : OrderedSet(WorkDefinition) =
+ p.processElements->select( e | e.oclIsTypeOf(WorkDefinition) )
+ ->collect( e | e.oclAsType(WorkDefinition) )
+ ->asOrderedSet()
+/]
\ No newline at end of file
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/20/50d347c92a30001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/20/50d347c92a30001c17b0b74a42e31a54
new file mode 100644
index 0000000..fe8f100
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/20/50d347c92a30001c17b0b74a42e31a54
@@ -0,0 +1,20 @@
+[comment encoding = UTF-8 /]
+[module toLTL('http://simplepdl')]
+
+
+[template public processToLTL(aProcess : Process)]
+[comment @main/]
+[file (aProcess.name + '.ltl', false, 'UTF-8')]
+[let wds : OrderedSet(WorkDefinition) = aProcess.getWDs() ]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')][self.name + '_finished'/][/for]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')]['(' + self.name + '_idle /\\ -' + self.name + '_running /\\ -' + self.name + '_finished)'/][/for]
+[/let]
+[/file]
+[/template]
+
+
+[query public getWDs(p: Process) : OrderedSet(WorkDefinition) =
+ p.processElements->select( e | e.oclIsTypeOf(WorkDefinition) )
+ ->collect( e | e.oclAsType(WorkDefinition) )
+ ->asOrderedSet()
+/]
\ No newline at end of file
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/25/b0d91c982a30001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/25/b0d91c982a30001c17b0b74a42e31a54
new file mode 100644
index 0000000..a2fa0e9
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/25/b0d91c982a30001c17b0b74a42e31a54
@@ -0,0 +1,20 @@
+[comment encoding = UTF-8 /]
+[module toLTL('http://simplepdl')]
+
+
+[template public processToLTL(aProcess : Process)]
+[comment @main/]
+[file (aProcess.name + '.ltl', false, 'UTF-8')]
+[let wds : OrderedSet(WorkDefinition) = aProcess.getWDs() ]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')][self.name + '_finished'/][/for]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')][self.name + '_idle /\\ -' + self.name + '_running /\\ -' + self.name + '_finished'/][/for]
+[/let]
+[/file]
+[/template]
+
+
+[query public getWDs(p: Process) : OrderedSet(WorkDefinition) =
+ p.processElements->select( e | e.oclIsTypeOf(WorkDefinition) )
+ ->collect( e | e.oclAsType(WorkDefinition) )
+ ->asOrderedSet()
+/]
\ No newline at end of file
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/35/e07b2af83030001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/35/e07b2af83030001c17b0b74a42e31a54
new file mode 100644
index 0000000..95caa14
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/35/e07b2af83030001c17b0b74a42e31a54
@@ -0,0 +1,21 @@
+[comment encoding = UTF-8 /]
+[module toLTL('http://simplepdl')]
+
+
+[template public processToLTL(aProcess : Process)]
+[comment @main/]
+[file (aProcess.name + '.ltl', false, 'UTF-8')]
+[let wds : OrderedSet(WorkDefinition) = aProcess.getWDs() ]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')][self.name + '_finished'/][/for]
+[for (wds) before ('[] <> ((') separator (') /\\ (') after ('));')]['(' + self.name + '_idle /\\ ~' + self.name + '_running /\\ ~' + self.name + '_finished) \\/ (~' + self.name + '_idle /\\ ' + self.name + '_running /\\ ~' + self.name + '_finished) \\/ (~' + self.name + '_idle /\\ ~' + self.name + '_running /\\ ' + self.name + '_finished)'/][/for]
+[for (wds) before ('[] <> ((') separator (') /\\ (') after ('));')]['<> ' + self.name + '_finished => ([] ~' + self.name + '_running' + ' /\\ [] ~' + self.name + '_idle /\\ [] ' + self.name + '_started)'/][/for]
+[/let]
+[/file]
+[/template]
+
+
+[query public getWDs(p: Process) : OrderedSet(WorkDefinition) =
+ p.processElements->select( e | e.oclIsTypeOf(WorkDefinition) )
+ ->collect( e | e.oclAsType(WorkDefinition) )
+ ->asOrderedSet()
+/]
\ No newline at end of file
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/4d/b0127d822930001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/4d/b0127d822930001c17b0b74a42e31a54
new file mode 100644
index 0000000..58a431f
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/4d/b0127d822930001c17b0b74a42e31a54
@@ -0,0 +1,20 @@
+[comment encoding = UTF-8 /]
+[module toLTL('http://simplepdl')]
+
+
+[template public processToLTL(aProcess : Process)]
+[comment @main/]
+[file (aProcess.name + '.ltl', false, 'UTF-8')]
+[let wds : OrderedSet(WorkDefinition) = aProcess.getWDs() ]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')][self.name.concat('_finished')/][/for]
+[for (wds) before ('[] (') separator (' /\\ ') after (');')][self.name.concat('_finished')/][/for]
+[/let]
+[/file]
+[/template]
+
+
+[query public getWDs(p: Process) : OrderedSet(WorkDefinition) =
+ p.processElements->select( e | e.oclIsTypeOf(WorkDefinition) )
+ ->collect( e | e.oclAsType(WorkDefinition) )
+ ->asOrderedSet()
+/]
\ No newline at end of file
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/52/009caaef2d30001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/52/009caaef2d30001c17b0b74a42e31a54
new file mode 100644
index 0000000..684546c
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/52/009caaef2d30001c17b0b74a42e31a54
@@ -0,0 +1,21 @@
+[comment encoding = UTF-8 /]
+[module toLTL('http://simplepdl')]
+
+
+[template public processToLTL(aProcess : Process)]
+[comment @main/]
+[file (aProcess.name + '.ltl', false, 'UTF-8')]
+[let wds : OrderedSet(WorkDefinition) = aProcess.getWDs() ]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')][self.name + '_finished'/][/for]
+[for (wds) before ('[] <> ((') separator (') /\\ (') after ('));')]['(' + self.name + '_idle /\\ -' + self.name + '_running /\\ -' + self.name + '_finished) \\/ (-' + self.name + '_idle /\\ ' + self.name + '_running /\\ -' + self.name + '_finished) \\/ (-' + self.name + '_idle /\\ -' + self.name + '_running /\\ ' + self.name + '_finished)'/][/for]
+[for (wds) before ('[] <> ((') separator (') /\\ (') after ('));')]['<>'self.name + '_finished => ([]-' + self.name + '_running' + ' /\\ []-' + self.name + '_idle)'/][/for]
+[/let]
+[/file]
+[/template]
+
+
+[query public getWDs(p: Process) : OrderedSet(WorkDefinition) =
+ p.processElements->select( e | e.oclIsTypeOf(WorkDefinition) )
+ ->collect( e | e.oclAsType(WorkDefinition) )
+ ->asOrderedSet()
+/]
\ No newline at end of file
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/55/208e2e9f2e30001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/55/208e2e9f2e30001c17b0b74a42e31a54
new file mode 100644
index 0000000..5cbe404
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/55/208e2e9f2e30001c17b0b74a42e31a54
@@ -0,0 +1,21 @@
+[comment encoding = UTF-8 /]
+[module toLTL('http://simplepdl')]
+
+
+[template public processToLTL(aProcess : Process)]
+[comment @main/]
+[file (aProcess.name + '.ltl', false, 'UTF-8')]
+[let wds : OrderedSet(WorkDefinition) = aProcess.getWDs() ]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')][self.name + '_finished'/][/for]
+[for (wds) before ('[] <> ((') separator (') /\\ (') after ('));')]['(' + self.name + '_idle /\\ -' + self.name + '_running /\\ -' + self.name + '_finished) \\/ (-' + self.name + '_idle /\\ ' + self.name + '_running /\\ -' + self.name + '_finished) \\/ (-' + self.name + '_idle /\\ -' + self.name + '_running /\\ ' + self.name + '_finished)'/][/for]
+[for (wds) before ('[] <> ((') separator (') /\\ (') after ('));')]['<>' + self.name + '_finished => ([]-' + self.name + '_running' + ' /\\ []-' + self.name + '_idle /\\ []' + self.name + '_started)'/][/for]
+[/let]
+[/file]
+[/template]
+
+
+[query public getWDs(p: Process) : OrderedSet(WorkDefinition) =
+ p.processElements->select( e | e.oclIsTypeOf(WorkDefinition) )
+ ->collect( e | e.oclAsType(WorkDefinition) )
+ ->asOrderedSet()
+/]
\ No newline at end of file
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/62/f03bc9f92930001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/62/f03bc9f92930001c17b0b74a42e31a54
new file mode 100644
index 0000000..596cfd7
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/62/f03bc9f92930001c17b0b74a42e31a54
@@ -0,0 +1,22 @@
+[comment encoding = UTF-8 /]
+[module toLTL('http://simplepdl')]
+
+
+[template public processToLTL(aProcess : Process)]
+[comment @main/]
+[file (aProcess.name + '.ltl', false, 'UTF-8')]
+[let wds : OrderedSet(WorkDefinition) = aProcess.getWDs() ]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')][self.name.concat('_finished')/][/for]
+[for (wds) before ('[] (') separator (' /\\ ') after (');')]
+ [(self.name + '_finished')/]
+[/for]
+[/let]
+[/file]
+[/template]
+
+
+[query public getWDs(p: Process) : OrderedSet(WorkDefinition) =
+ p.processElements->select( e | e.oclIsTypeOf(WorkDefinition) )
+ ->collect( e | e.oclAsType(WorkDefinition) )
+ ->asOrderedSet()
+/]
\ No newline at end of file
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/66/f097e6a32e30001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/66/f097e6a32e30001c17b0b74a42e31a54
new file mode 100644
index 0000000..7874734
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/66/f097e6a32e30001c17b0b74a42e31a54
@@ -0,0 +1,21 @@
+[comment encoding = UTF-8 /]
+[module toLTL('http://simplepdl')]
+
+
+[template public processToLTL(aProcess : Process)]
+[comment @main/]
+[file (aProcess.name + '.ltl', false, 'UTF-8')]
+[let wds : OrderedSet(WorkDefinition) = aProcess.getWDs() ]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')][self.name + '_finished'/][/for]
+[for (wds) before ('[] <> ((') separator (') /\\ (') after ('));')]['(' + self.name + '_idle /\\ -' + self.name + '_running /\\ -' + self.name + '_finished) \\/ (-' + self.name + '_idle /\\ ' + self.name + '_running /\\ -' + self.name + '_finished) \\/ (-' + self.name + '_idle /\\ -' + self.name + '_running /\\ ' + self.name + '_finished)'/][/for]
+[for (wds) before ('[] <> ((') separator (') /\\ (') after ('));')]['<>' + self.name + '_finished => ([] -' + self.name + '_running' + ' /\\ [] -' + self.name + '_idle /\\ [] ' + self.name + '_started)'/][/for]
+[/let]
+[/file]
+[/template]
+
+
+[query public getWDs(p: Process) : OrderedSet(WorkDefinition) =
+ p.processElements->select( e | e.oclIsTypeOf(WorkDefinition) )
+ ->collect( e | e.oclAsType(WorkDefinition) )
+ ->asOrderedSet()
+/]
\ No newline at end of file
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/67/e0c0bc803030001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/67/e0c0bc803030001c17b0b74a42e31a54
new file mode 100644
index 0000000..b21c4e7
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/67/e0c0bc803030001c17b0b74a42e31a54
@@ -0,0 +1,21 @@
+[comment encoding = UTF-8 /]
+[module toLTL('http://simplepdl')]
+
+
+[template public processToLTL(aProcess : Process)]
+[comment @main/]
+[file (aProcess.name + '.ltl', false, 'UTF-8')]
+[let wds : OrderedSet(WorkDefinition) = aProcess.getWDs() ]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')][self.name + '_finished'/][/for]
+[for (wds) before ('[] <> ((') separator (') /\\ (') after ('));')]['(' + self.name + '_idle /\\ ~' + self.name + '_running /\\ ~' + self.name + '_finished) \\/ (~' + self.name + '_idle /\\ ' + self.name + '_running /\\ ~' + self.name + '_finished) \\/ (~' + self.name + '_idle /\\ ~' + self.name + '_running /\\ ' + self.name + '_finished)'/][/for]
+[for (wds) before ('[] <> ((') separator (') /\\ (') after ('));')]['<> ' + self.name + '_finished => ([] -' + self.name + '_running' + ' /\\ [] -' + self.name + '_idle /\\ [] ' + self.name + '_started)'/][/for]
+[/let]
+[/file]
+[/template]
+
+
+[query public getWDs(p: Process) : OrderedSet(WorkDefinition) =
+ p.processElements->select( e | e.oclIsTypeOf(WorkDefinition) )
+ ->collect( e | e.oclAsType(WorkDefinition) )
+ ->asOrderedSet()
+/]
\ No newline at end of file
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/6a/003c41362930001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/6a/003c41362930001c17b0b74a42e31a54
new file mode 100644
index 0000000..d86ea11
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/6a/003c41362930001c17b0b74a42e31a54
@@ -0,0 +1,19 @@
+[comment encoding = UTF-8 /]
+[module toLTL('http://simplepdl')]
+
+
+[template public processToLTL(aProcess : Process)]
+[comment @main/]
+[file (aProcess.name + '.ltl', false, 'UTF-8')]
+[let wds : OrderedSet(WorkDefinition) = aProcess.getWDs() ]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')][self.name.concat('_finished')/][/for]
+[/let]
+[/file]
+[/template]
+
+
+[query public getWDs(p: Process) : OrderedSet(WorkDefinition) =
+ p.processElements->select( e | e.oclIsTypeOf(WorkDefinition) )
+ ->collect( e | e.oclAsType(WorkDefinition) )
+ ->asOrderedSet()
+/]
\ No newline at end of file
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/6d/503be3bd2d30001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/6d/503be3bd2d30001c17b0b74a42e31a54
new file mode 100644
index 0000000..299ebd6
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/6d/503be3bd2d30001c17b0b74a42e31a54
@@ -0,0 +1,21 @@
+[comment encoding = UTF-8 /]
+[module toLTL('http://simplepdl')]
+
+
+[template public processToLTL(aProcess : Process)]
+[comment @main/]
+[file (aProcess.name + '.ltl', false, 'UTF-8')]
+[let wds : OrderedSet(WorkDefinition) = aProcess.getWDs() ]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')][self.name + '_finished'/][/for]
+[for (wds) before ('[] <> ((') separator (') /\\ (') after ('));')]['(' + self.name + '_idle /\\ -' + self.name + '_running /\\ -' + self.name + '_finished) \\/ (-' + self.name + '_idle /\\ ' + self.name + '_running /\\ -' + self.name + '_finished) \\/ (-' + self.name + '_idle /\\ -' + self.name + '_running /\\ ' + self.name + '_finished)'/][/for]
+[for (wds) before ('[] <> ((') separator (') /\\ (') after ('));')]['<>self.name' + '_finished => []-'/][/for]
+[/let]
+[/file]
+[/template]
+
+
+[query public getWDs(p: Process) : OrderedSet(WorkDefinition) =
+ p.processElements->select( e | e.oclIsTypeOf(WorkDefinition) )
+ ->collect( e | e.oclAsType(WorkDefinition) )
+ ->asOrderedSet()
+/]
\ No newline at end of file
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/7a/2079bc4b2c30001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/7a/2079bc4b2c30001c17b0b74a42e31a54
new file mode 100644
index 0000000..610026c
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/7a/2079bc4b2c30001c17b0b74a42e31a54
@@ -0,0 +1,22 @@
+
+
+
+
+
+
+
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/7d/108197892a30001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/7d/108197892a30001c17b0b74a42e31a54
new file mode 100644
index 0000000..7d02cbf
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/7d/108197892a30001c17b0b74a42e31a54
@@ -0,0 +1,20 @@
+[comment encoding = UTF-8 /]
+[module toLTL('http://simplepdl')]
+
+
+[template public processToLTL(aProcess : Process)]
+[comment @main/]
+[file (aProcess.name + '.ltl', false, 'UTF-8')]
+[let wds : OrderedSet(WorkDefinition) = aProcess.getWDs() ]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')][self.name + '_finished'/][/for]
+[for (wds) before ('[] (') separator (' /\\ ') after (');')][self.name + '_finished'/][/for]
+[/let]
+[/file]
+[/template]
+
+
+[query public getWDs(p: Process) : OrderedSet(WorkDefinition) =
+ p.processElements->select( e | e.oclIsTypeOf(WorkDefinition) )
+ ->collect( e | e.oclAsType(WorkDefinition) )
+ ->asOrderedSet()
+/]
\ No newline at end of file
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/81/60939fea3130001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/81/60939fea3130001c17b0b74a42e31a54
new file mode 100644
index 0000000..a66881c
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/81/60939fea3130001c17b0b74a42e31a54
@@ -0,0 +1,21 @@
+[comment encoding = UTF-8 /]
+[module toLTL('http://simplepdl')]
+
+
+[template public processToLTL(aProcess : Process)]
+[comment @main/]
+[file (aProcess.name + '.ltl', false, 'UTF-8')]
+[let wds : OrderedSet(WorkDefinition) = aProcess.getWDs() ]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')][self.name + '_finished'/][/for]
+[for (wds) before ('[] <> ((') separator (') /\\ (') after ('));')]['(' + self.name + '_idle /\\ ~' + self.name + '_running /\\ ~' + self.name + '_finished) \\/ (~' + self.name + '_idle /\\ ' + self.name + '_running /\\ ~' + self.name + '_finished) \\/ (~' + self.name + '_idle /\\ ~' + self.name + '_running /\\ ' + self.name + '_finished)'/][/for]
+[for (wds) before ('[] <> ((') separator (') /\\ (') after ('));')][self.name + '_finished => [] ( ~' + self.name + '_running' + ' /\\ ~' + self.name + '_idle /\\ ' + self.name + '_started)'/][/for]
+[/let]
+[/file]
+[/template]
+
+
+[query public getWDs(p: Process) : OrderedSet(WorkDefinition) =
+ p.processElements->select( e | e.oclIsTypeOf(WorkDefinition) )
+ ->collect( e | e.oclAsType(WorkDefinition) )
+ ->asOrderedSet()
+/]
\ No newline at end of file
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/9f/80fccb402b30001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/9f/80fccb402b30001c17b0b74a42e31a54
new file mode 100644
index 0000000..ed7d7d4
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/9f/80fccb402b30001c17b0b74a42e31a54
@@ -0,0 +1,20 @@
+[comment encoding = UTF-8 /]
+[module toLTL('http://simplepdl')]
+
+
+[template public processToLTL(aProcess : Process)]
+[comment @main/]
+[file (aProcess.name + '.ltl', false, 'UTF-8')]
+[let wds : OrderedSet(WorkDefinition) = aProcess.getWDs() ]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')][self.name + '_finished'/][/for]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')]['(' + self.name + '_idle /\\ -' + self.name + '_running /\\ -' + self.name + '_finished) \\/ (-' + self.name + '_idle /\\ ' + self.name + '_running /\\ -' + self.name + '_finished) \\/ (-' + self.name + '_idle /\\ -' + self.name + '_running /\\ ' + self.name + '_finished)'/][/for]
+[/let]
+[/file]
+[/template]
+
+
+[query public getWDs(p: Process) : OrderedSet(WorkDefinition) =
+ p.processElements->select( e | e.oclIsTypeOf(WorkDefinition) )
+ ->collect( e | e.oclAsType(WorkDefinition) )
+ ->asOrderedSet()
+/]
\ No newline at end of file
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/a/e039c7b03130001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/a/e039c7b03130001c17b0b74a42e31a54
new file mode 100644
index 0000000..d1a237e
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/a/e039c7b03130001c17b0b74a42e31a54
@@ -0,0 +1,21 @@
+[comment encoding = UTF-8 /]
+[module toLTL('http://simplepdl')]
+
+
+[template public processToLTL(aProcess : Process)]
+[comment @main/]
+[file (aProcess.name + '.ltl', false, 'UTF-8')]
+[let wds : OrderedSet(WorkDefinition) = aProcess.getWDs() ]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')][self.name + '_finished'/][/for]
+[for (wds) before ('[] <> ((') separator (') /\\ (') after ('));')]['(' + self.name + '_idle /\\ ~' + self.name + '_running /\\ ~' + self.name + '_finished) \\/ (~' + self.name + '_idle /\\ ' + self.name + '_running /\\ ~' + self.name + '_finished) \\/ (~' + self.name + '_idle /\\ ~' + self.name + '_running /\\ ' + self.name + '_finished)'/][/for]
+[for (wds) before ('[] <> ((') separator (') /\\ (') after ('));')][self.name + '_finished => []( ~' + self.name + '_running' + ' /\\ ~' + self.name + '_idle /\\ ' + self.name + '_started)'/][/for]
+[/let]
+[/file]
+[/template]
+
+
+[query public getWDs(p: Process) : OrderedSet(WorkDefinition) =
+ p.processElements->select( e | e.oclIsTypeOf(WorkDefinition) )
+ ->collect( e | e.oclAsType(WorkDefinition) )
+ ->asOrderedSet()
+/]
\ No newline at end of file
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/a0/a0e7f0b82d30001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/a0/a0e7f0b82d30001c17b0b74a42e31a54
new file mode 100644
index 0000000..6fa4437
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/a0/a0e7f0b82d30001c17b0b74a42e31a54
@@ -0,0 +1,21 @@
+[comment encoding = UTF-8 /]
+[module toLTL('http://simplepdl')]
+
+
+[template public processToLTL(aProcess : Process)]
+[comment @main/]
+[file (aProcess.name + '.ltl', false, 'UTF-8')]
+[let wds : OrderedSet(WorkDefinition) = aProcess.getWDs() ]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')][self.name + '_finished'/][/for]
+[for (wds) before ('[] <> ((') separator (') /\\ (') after ('));')]['(' + self.name + '_idle /\\ -' + self.name + '_running /\\ -' + self.name + '_finished) \\/ (-' + self.name + '_idle /\\ ' + self.name + '_running /\\ -' + self.name + '_finished) \\/ (-' + self.name + '_idle /\\ -' + self.name + '_running /\\ ' + self.name + '_finished)'/][/for]
+[for (wds) before ('[] <> ((') separator (') /\\ (') after ('));')][self.name + '_finished'/][/for]
+[/let]
+[/file]
+[/template]
+
+
+[query public getWDs(p: Process) : OrderedSet(WorkDefinition) =
+ p.processElements->select( e | e.oclIsTypeOf(WorkDefinition) )
+ ->collect( e | e.oclAsType(WorkDefinition) )
+ ->asOrderedSet()
+/]
\ No newline at end of file
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/a3/600e70ac2930001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/a3/600e70ac2930001c17b0b74a42e31a54
new file mode 100644
index 0000000..326b1d5
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/a3/600e70ac2930001c17b0b74a42e31a54
@@ -0,0 +1,22 @@
+[comment encoding = UTF-8 /]
+[module toLTL('http://simplepdl')]
+
+
+[template public processToLTL(aProcess : Process)]
+[comment @main/]
+[file (aProcess.name + '.ltl', false, 'UTF-8')]
+[let wds : OrderedSet(WorkDefinition) = aProcess.getWDs() ]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')][self.name.concat('_finished')/][/for]
+[for (wds) before ('[] ((') separator (') /\\ (') after ('));')]
+ [self.name.concat('_finished')/]
+[/for]
+[/let]
+[/file]
+[/template]
+
+
+[query public getWDs(p: Process) : OrderedSet(WorkDefinition) =
+ p.processElements->select( e | e.oclIsTypeOf(WorkDefinition) )
+ ->collect( e | e.oclAsType(WorkDefinition) )
+ ->asOrderedSet()
+/]
\ No newline at end of file
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/a7/e0cbd1fd2930001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/a7/e0cbd1fd2930001c17b0b74a42e31a54
new file mode 100644
index 0000000..c9db610
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/a7/e0cbd1fd2930001c17b0b74a42e31a54
@@ -0,0 +1,22 @@
+[comment encoding = UTF-8 /]
+[module toLTL('http://simplepdl')]
+
+
+[template public processToLTL(aProcess : Process)]
+[comment @main/]
+[file (aProcess.name + '.ltl', false, 'UTF-8')]
+[let wds : OrderedSet(WorkDefinition) = aProcess.getWDs() ]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')][self.name + '_finished'/][/for]
+[for (wds) before ('[] (') separator (' /\\ ') after (');')]
+ [(self.name + '_finished')/]
+[/for]
+[/let]
+[/file]
+[/template]
+
+
+[query public getWDs(p: Process) : OrderedSet(WorkDefinition) =
+ p.processElements->select( e | e.oclIsTypeOf(WorkDefinition) )
+ ->collect( e | e.oclAsType(WorkDefinition) )
+ ->asOrderedSet()
+/]
\ No newline at end of file
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/a8/006d2f492930001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/a8/006d2f492930001c17b0b74a42e31a54
new file mode 100644
index 0000000..15c5e5a
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/a8/006d2f492930001c17b0b74a42e31a54
@@ -0,0 +1,20 @@
+[comment encoding = UTF-8 /]
+[module toLTL('http://simplepdl')]
+
+
+[template public processToLTL(aProcess : Process)]
+[comment @main/]
+[file (aProcess.name + '.ltl', false, 'UTF-8')]
+[let wds : OrderedSet(WorkDefinition) = aProcess.getWDs() ]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')][self.name.concat('_finished')/][/for]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')][self.name.concat('_finished')/][/for]
+[/let]
+[/file]
+[/template]
+
+
+[query public getWDs(p: Process) : OrderedSet(WorkDefinition) =
+ p.processElements->select( e | e.oclIsTypeOf(WorkDefinition) )
+ ->collect( e | e.oclAsType(WorkDefinition) )
+ ->asOrderedSet()
+/]
\ No newline at end of file
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/ad/50133be82d30001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/ad/50133be82d30001c17b0b74a42e31a54
new file mode 100644
index 0000000..759ac68
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/ad/50133be82d30001c17b0b74a42e31a54
@@ -0,0 +1,21 @@
+[comment encoding = UTF-8 /]
+[module toLTL('http://simplepdl')]
+
+
+[template public processToLTL(aProcess : Process)]
+[comment @main/]
+[file (aProcess.name + '.ltl', false, 'UTF-8')]
+[let wds : OrderedSet(WorkDefinition) = aProcess.getWDs() ]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')][self.name + '_finished'/][/for]
+[for (wds) before ('[] <> ((') separator (') /\\ (') after ('));')]['(' + self.name + '_idle /\\ -' + self.name + '_running /\\ -' + self.name + '_finished) \\/ (-' + self.name + '_idle /\\ ' + self.name + '_running /\\ -' + self.name + '_finished) \\/ (-' + self.name + '_idle /\\ -' + self.name + '_running /\\ ' + self.name + '_finished)'/][/for]
+[for (wds) before ('[] <> ((') separator (') /\\ (') after ('));')]['<>'self.name + '_finished => ([]-' + self.name + '_running' + ' []-' + self.name + '_idle)'/][/for]
+[/let]
+[/file]
+[/template]
+
+
+[query public getWDs(p: Process) : OrderedSet(WorkDefinition) =
+ p.processElements->select( e | e.oclIsTypeOf(WorkDefinition) )
+ ->collect( e | e.oclAsType(WorkDefinition) )
+ ->asOrderedSet()
+/]
\ No newline at end of file
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/b4/709683de2d30001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/b4/709683de2d30001c17b0b74a42e31a54
new file mode 100644
index 0000000..61568ea
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/b4/709683de2d30001c17b0b74a42e31a54
@@ -0,0 +1,21 @@
+[comment encoding = UTF-8 /]
+[module toLTL('http://simplepdl')]
+
+
+[template public processToLTL(aProcess : Process)]
+[comment @main/]
+[file (aProcess.name + '.ltl', false, 'UTF-8')]
+[let wds : OrderedSet(WorkDefinition) = aProcess.getWDs() ]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')][self.name + '_finished'/][/for]
+[for (wds) before ('[] <> ((') separator (') /\\ (') after ('));')]['(' + self.name + '_idle /\\ -' + self.name + '_running /\\ -' + self.name + '_finished) \\/ (-' + self.name + '_idle /\\ ' + self.name + '_running /\\ -' + self.name + '_finished) \\/ (-' + self.name + '_idle /\\ -' + self.name + '_running /\\ ' + self.name + '_finished)'/][/for]
+[for (wds) before ('[] <> ((') separator (') /\\ (') after ('));')]['<>'self.name + '_finished => []-'/][/for]
+[/let]
+[/file]
+[/template]
+
+
+[query public getWDs(p: Process) : OrderedSet(WorkDefinition) =
+ p.processElements->select( e | e.oclIsTypeOf(WorkDefinition) )
+ ->collect( e | e.oclAsType(WorkDefinition) )
+ ->asOrderedSet()
+/]
\ No newline at end of file
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/bb/40c73d573130001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/bb/40c73d573130001c17b0b74a42e31a54
new file mode 100644
index 0000000..a074888
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/bb/40c73d573130001c17b0b74a42e31a54
@@ -0,0 +1,21 @@
+[comment encoding = UTF-8 /]
+[module toLTL('http://simplepdl')]
+
+
+[template public processToLTL(aProcess : Process)]
+[comment @main/]
+[file (aProcess.name + '.ltl', false, 'UTF-8')]
+[let wds : OrderedSet(WorkDefinition) = aProcess.getWDs() ]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')][self.name + '_finished'/][/for]
+[for (wds) before ('[] <> ((') separator (') /\\ (') after ('));')]['(' + self.name + '_idle /\\ ~' + self.name + '_running /\\ ~' + self.name + '_finished) \\/ (~' + self.name + '_idle /\\ ' + self.name + '_running /\\ ~' + self.name + '_finished) \\/ (~' + self.name + '_idle /\\ ~' + self.name + '_running /\\ ' + self.name + '_finished)'/][/for]
+[for (wds) before ('[] <> ((') separator (') /\\ (') after ('));')][self.name + '_finished => []( ~' + self.name + '_running' + ' /\\ ~' + self.name + '_idle /\\ [] ' + self.name + '_started)'/][/for]
+[/let]
+[/file]
+[/template]
+
+
+[query public getWDs(p: Process) : OrderedSet(WorkDefinition) =
+ p.processElements->select( e | e.oclIsTypeOf(WorkDefinition) )
+ ->collect( e | e.oclAsType(WorkDefinition) )
+ ->asOrderedSet()
+/]
\ No newline at end of file
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/bc/204b3da52a30001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/bc/204b3da52a30001c17b0b74a42e31a54
new file mode 100644
index 0000000..cd0fdfb
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/bc/204b3da52a30001c17b0b74a42e31a54
@@ -0,0 +1,20 @@
+[comment encoding = UTF-8 /]
+[module toLTL('http://simplepdl')]
+
+
+[template public processToLTL(aProcess : Process)]
+[comment @main/]
+[file (aProcess.name + '.ltl', false, 'UTF-8')]
+[let wds : OrderedSet(WorkDefinition) = aProcess.getWDs() ]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')][self.name + '_finished'/][/for]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')]['(' + self.name + '_idle /\\ -' + self.name + '_running /\\ -' + self.name + '_finished'/][/for]
+[/let]
+[/file]
+[/template]
+
+
+[query public getWDs(p: Process) : OrderedSet(WorkDefinition) =
+ p.processElements->select( e | e.oclIsTypeOf(WorkDefinition) )
+ ->collect( e | e.oclAsType(WorkDefinition) )
+ ->asOrderedSet()
+/]
\ No newline at end of file
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/bc/60ed42982c30001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/bc/60ed42982c30001c17b0b74a42e31a54
new file mode 100644
index 0000000..daf896c
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/bc/60ed42982c30001c17b0b74a42e31a54
@@ -0,0 +1,22 @@
+
+
+
+
+
+
+
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/c/c0c9f80d2e30001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/c/c0c9f80d2e30001c17b0b74a42e31a54
new file mode 100644
index 0000000..ad0d0ba
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/c/c0c9f80d2e30001c17b0b74a42e31a54
@@ -0,0 +1,21 @@
+[comment encoding = UTF-8 /]
+[module toLTL('http://simplepdl')]
+
+
+[template public processToLTL(aProcess : Process)]
+[comment @main/]
+[file (aProcess.name + '.ltl', false, 'UTF-8')]
+[let wds : OrderedSet(WorkDefinition) = aProcess.getWDs() ]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')][self.name + '_finished'/][/for]
+[for (wds) before ('[] <> ((') separator (') /\\ (') after ('));')]['(' + self.name + '_idle /\\ -' + self.name + '_running /\\ -' + self.name + '_finished) \\/ (-' + self.name + '_idle /\\ ' + self.name + '_running /\\ -' + self.name + '_finished) \\/ (-' + self.name + '_idle /\\ -' + self.name + '_running /\\ ' + self.name + '_finished)'/][/for]
+[for (wds) before ('[] <> ((') separator (') /\\ (') after ('));')]['<>' + self.name + '_finished => ([]-' + self.name + '_running' + ' /\\ []-' + self.name + '_idle)'/][/for]
+[/let]
+[/file]
+[/template]
+
+
+[query public getWDs(p: Process) : OrderedSet(WorkDefinition) =
+ p.processElements->select( e | e.oclIsTypeOf(WorkDefinition) )
+ ->collect( e | e.oclAsType(WorkDefinition) )
+ ->asOrderedSet()
+/]
\ No newline at end of file
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/c0/e02425593130001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/c0/e02425593130001c17b0b74a42e31a54
new file mode 100644
index 0000000..2ba0365
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/c0/e02425593130001c17b0b74a42e31a54
@@ -0,0 +1,21 @@
+[comment encoding = UTF-8 /]
+[module toLTL('http://simplepdl')]
+
+
+[template public processToLTL(aProcess : Process)]
+[comment @main/]
+[file (aProcess.name + '.ltl', false, 'UTF-8')]
+[let wds : OrderedSet(WorkDefinition) = aProcess.getWDs() ]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')][self.name + '_finished'/][/for]
+[for (wds) before ('[] <> ((') separator (') /\\ (') after ('));')]['(' + self.name + '_idle /\\ ~' + self.name + '_running /\\ ~' + self.name + '_finished) \\/ (~' + self.name + '_idle /\\ ' + self.name + '_running /\\ ~' + self.name + '_finished) \\/ (~' + self.name + '_idle /\\ ~' + self.name + '_running /\\ ' + self.name + '_finished)'/][/for]
+[for (wds) before ('[] <> ((') separator (') /\\ (') after ('));')][self.name + '_finished => []( ~' + self.name + '_running' + ' /\\ ~' + self.name + '_idle /\\ [] ' + self.name + '_started)'/][/for]
+[/let]
+[/file]
+[/template]
+
+
+[query public getWDs(p: Process) : OrderedSet(WorkDefinition) =
+ p.processElements->select( e | e.oclIsTypeOf(WorkDefinition) )
+ ->collect( e | e.oclAsType(WorkDefinition) )
+ ->asOrderedSet()
+/]
\ No newline at end of file
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/c1/b01e63563130001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/c1/b01e63563130001c17b0b74a42e31a54
new file mode 100644
index 0000000..b1aca2c
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/c1/b01e63563130001c17b0b74a42e31a54
@@ -0,0 +1,21 @@
+[comment encoding = UTF-8 /]
+[module toLTL('http://simplepdl')]
+
+
+[template public processToLTL(aProcess : Process)]
+[comment @main/]
+[file (aProcess.name + '.ltl', false, 'UTF-8')]
+[let wds : OrderedSet(WorkDefinition) = aProcess.getWDs() ]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')][self.name + '_finished'/][/for]
+[for (wds) before ('[] <> ((') separator (') /\\ (') after ('));')]['(' + self.name + '_idle /\\ ~' + self.name + '_running /\\ ~' + self.name + '_finished) \\/ (~' + self.name + '_idle /\\ ' + self.name + '_running /\\ ~' + self.name + '_finished) \\/ (~' + self.name + '_idle /\\ ~' + self.name + '_running /\\ ' + self.name + '_finished)'/][/for]
+[for (wds) before ('[] <> ((') separator (') /\\ (') after ('));')][self.name + '_finished => ([] ~' + self.name + '_running' + ' /\\ [] ~' + self.name + '_idle /\\ [] ' + self.name + '_started)'/][/for]
+[/let]
+[/file]
+[/template]
+
+
+[query public getWDs(p: Process) : OrderedSet(WorkDefinition) =
+ p.processElements->select( e | e.oclIsTypeOf(WorkDefinition) )
+ ->collect( e | e.oclAsType(WorkDefinition) )
+ ->asOrderedSet()
+/]
\ No newline at end of file
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/c3/40f7b0b12930001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/c3/40f7b0b12930001c17b0b74a42e31a54
new file mode 100644
index 0000000..0b1d9d8
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/c3/40f7b0b12930001c17b0b74a42e31a54
@@ -0,0 +1,22 @@
+[comment encoding = UTF-8 /]
+[module toLTL('http://simplepdl')]
+
+
+[template public processToLTL(aProcess : Process)]
+[comment @main/]
+[file (aProcess.name + '.ltl', false, 'UTF-8')]
+[let wds : OrderedSet(WorkDefinition) = aProcess.getWDs() ]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')][self.name.concat('_finished')/][/for]
+[for (wds) before ('[] (') separator (' /\\ ') after (');')]
+ [((self.name + '_finished')/]
+[/for]
+[/let]
+[/file]
+[/template]
+
+
+[query public getWDs(p: Process) : OrderedSet(WorkDefinition) =
+ p.processElements->select( e | e.oclIsTypeOf(WorkDefinition) )
+ ->collect( e | e.oclAsType(WorkDefinition) )
+ ->asOrderedSet()
+/]
\ No newline at end of file
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/c9/908933b02a30001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/c9/908933b02a30001c17b0b74a42e31a54
new file mode 100644
index 0000000..7a16520
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/c9/908933b02a30001c17b0b74a42e31a54
@@ -0,0 +1,20 @@
+[comment encoding = UTF-8 /]
+[module toLTL('http://simplepdl')]
+
+
+[template public processToLTL(aProcess : Process)]
+[comment @main/]
+[file (aProcess.name + '.ltl', false, 'UTF-8')]
+[let wds : OrderedSet(WorkDefinition) = aProcess.getWDs() ]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')][self.name + '_finished'/][/for]
+[for (wds) before ('[] <> (') separator (' \\/ ') after (');')]['(' + self.name + '_idle /\\ -' + self.name + '_running /\\ -' + self.name + '_finished)'/][/for]
+[/let]
+[/file]
+[/template]
+
+
+[query public getWDs(p: Process) : OrderedSet(WorkDefinition) =
+ p.processElements->select( e | e.oclIsTypeOf(WorkDefinition) )
+ ->collect( e | e.oclAsType(WorkDefinition) )
+ ->asOrderedSet()
+/]
\ No newline at end of file
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/d5/a0d0ef503030001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/d5/a0d0ef503030001c17b0b74a42e31a54
new file mode 100644
index 0000000..026d9b5
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/d5/a0d0ef503030001c17b0b74a42e31a54
@@ -0,0 +1,21 @@
+[comment encoding = UTF-8 /]
+[module toLTL('http://simplepdl')]
+
+
+[template public processToLTL(aProcess : Process)]
+[comment @main/]
+[file (aProcess.name + '.ltl', false, 'UTF-8')]
+[let wds : OrderedSet(WorkDefinition) = aProcess.getWDs() ]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')][self.name + '_finished'/][/for]
+[for (wds) before ('[] <> ((') separator (') /\\ (') after ('));')]['(' + self.name + '_idle /\\ -' + self.name + '_running /\\ -' + self.name + '_finished) \\/ (-' + self.name + '_idle /\\ ' + self.name + '_running /\\ -' + self.name + '_finished) \\/ (-' + self.name + '_idle /\\ -' + self.name + '_running /\\ ' + self.name + '_finished)'/][/for]
+[for (wds) before ('[] <> ((') separator (') /\\ (') after ('));')]['<> ' + self.name + '_finished => ([] -' + self.name + '_running' + ' /\\ [] -' + self.name + '_idle /\\ [] ' + self.name + '_started)'/][/for]
+[/let]
+[/file]
+[/template]
+
+
+[query public getWDs(p: Process) : OrderedSet(WorkDefinition) =
+ p.processElements->select( e | e.oclIsTypeOf(WorkDefinition) )
+ ->collect( e | e.oclAsType(WorkDefinition) )
+ ->asOrderedSet()
+/]
\ No newline at end of file
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/e7/f084c40c2d30001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/e7/f084c40c2d30001c17b0b74a42e31a54
new file mode 100644
index 0000000..ba302ac
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/e7/f084c40c2d30001c17b0b74a42e31a54
@@ -0,0 +1,20 @@
+[comment encoding = UTF-8 /]
+[module toLTL('http://simplepdl')]
+
+
+[template public processToLTL(aProcess : Process)]
+[comment @main/]
+[file (aProcess.name + '.ltl', false, 'UTF-8')]
+[let wds : OrderedSet(WorkDefinition) = aProcess.getWDs() ]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')][self.name + '_finished'/][/for]
+[for (wds) before ('[] <> ((') separator (') /\\ (') after ('));')]['(' + self.name + '_idle /\\ -' + self.name + '_running /\\ -' + self.name + '_finished) \\/ (-' + self.name + '_idle /\\ ' + self.name + '_running /\\ -' + self.name + '_finished) \\/ (-' + self.name + '_idle /\\ -' + self.name + '_running /\\ ' + self.name + '_finished)'/][/for]
+[/let]
+[/file]
+[/template]
+
+
+[query public getWDs(p: Process) : OrderedSet(WorkDefinition) =
+ p.processElements->select( e | e.oclIsTypeOf(WorkDefinition) )
+ ->collect( e | e.oclAsType(WorkDefinition) )
+ ->asOrderedSet()
+/]
\ No newline at end of file
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/ea/e084620e2a30001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/ea/e084620e2a30001c17b0b74a42e31a54
new file mode 100644
index 0000000..40011fc
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/ea/e084620e2a30001c17b0b74a42e31a54
@@ -0,0 +1,22 @@
+[comment encoding = UTF-8 /]
+[module toLTL('http://simplepdl')]
+
+
+[template public processToLTL(aProcess : Process)]
+[comment @main/]
+[file (aProcess.name + '.ltl', false, 'UTF-8')]
+[let wds : OrderedSet(WorkDefinition) = aProcess.getWDs() ]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')][self.name + '_finished'/][/for]
+[for (wds) before ('[] (') separator (' /\\ ') after (');')]
+ [self.name + '_finished'/]
+[/for]
+[/let]
+[/file]
+[/template]
+
+
+[query public getWDs(p: Process) : OrderedSet(WorkDefinition) =
+ p.processElements->select( e | e.oclIsTypeOf(WorkDefinition) )
+ ->collect( e | e.oclAsType(WorkDefinition) )
+ ->asOrderedSet()
+/]
\ No newline at end of file
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/ee/f05704f03130001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/ee/f05704f03130001c17b0b74a42e31a54
new file mode 100644
index 0000000..2500ea7
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/ee/f05704f03130001c17b0b74a42e31a54
@@ -0,0 +1,21 @@
+[comment encoding = UTF-8 /]
+[module toLTL('http://simplepdl')]
+
+
+[template public processToLTL(aProcess : Process)]
+[comment @main/]
+[file (aProcess.name + '.ltl', false, 'UTF-8')]
+[let wds : OrderedSet(WorkDefinition) = aProcess.getWDs() ]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')][self.name + '_finished'/][/for]
+[for (wds) before ('[] <> ((') separator (') /\\ (') after ('));')]['(' + self.name + '_idle /\\ -' + self.name + '_running /\\ -' + self.name + '_finished) \\/ (-' + self.name + '_idle /\\ ' + self.name + '_running /\\ -' + self.name + '_finished) \\/ (-' + self.name + '_idle /\\ -' + self.name + '_running /\\ ' + self.name + '_finished)'/][/for]
+[for (wds) before ('[] <> ((') separator (') /\\ (') after ('));')][self.name + '_finished => [] (-' + self.name + '_running' + ' /\\ -' + self.name + '_idle /\\ ' + self.name + '_started)'/][/for]
+[/let]
+[/file]
+[/template]
+
+
+[query public getWDs(p: Process) : OrderedSet(WorkDefinition) =
+ p.processElements->select( e | e.oclIsTypeOf(WorkDefinition) )
+ ->collect( e | e.oclAsType(WorkDefinition) )
+ ->asOrderedSet()
+/]
\ No newline at end of file
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/fa/c04bd4612c30001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/fa/c04bd4612c30001c17b0b74a42e31a54
new file mode 100644
index 0000000..6159c75
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/fa/c04bd4612c30001c17b0b74a42e31a54
@@ -0,0 +1,27 @@
+
+
+
+
+
+
+
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/fe/30c6d8fd2830001c17b0b74a42e31a54 b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/fe/30c6d8fd2830001c17b0b74a42e31a54
new file mode 100644
index 0000000..801597c
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/fe/30c6d8fd2830001c17b0b74a42e31a54
@@ -0,0 +1,18 @@
+[comment encoding = UTF-8 /]
+[module toLTL('http://simplepdl')]
+
+
+[template public processToLTL(aProcess : Process)]
+[comment @main/]
+[file (aProcess.name + '.ltl', false, 'UTF-8')]
+[let wds : OrderedSet(WorkDefinition) = aProcess.getWDs() ]
+[for (wds) before ('[] <> (') separator (' /\\ ') after (');')][self.name.concat('_finished')/][/for]
+[/let]
+[/file]
+[/template]
+
+[query public getWDs(p: Process) : OrderedSet(WorkDefinition) =
+ p.processElements->select( e | e.oclIsTypeOf(WorkDefinition) )
+ ->collect( e | e.oclAsType(WorkDefinition) )
+ ->asOrderedSet()
+/]
\ No newline at end of file
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toDOT.ui/.indexes/history.index b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toDOT.ui/.indexes/history.index
index 83f87dc..96145bf 100644
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toDOT.ui/.indexes/history.index and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toDOT.ui/.indexes/history.index differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toDOT.ui/.markers b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toDOT.ui/.markers
index 1aac299..2a65441 100644
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toDOT.ui/.markers and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toDOT.ui/.markers differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toDOT.ui/org.eclipse.jdt.core/state.dat b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toDOT.ui/org.eclipse.jdt.core/state.dat
index 12ce8d9..1b8dc48 100644
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toDOT.ui/org.eclipse.jdt.core/state.dat and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toDOT.ui/org.eclipse.jdt.core/state.dat differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toDOT/.markers b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toDOT/.markers
index 2d4b50c..4b066e5 100644
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toDOT/.markers and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toDOT/.markers differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toHTML.ui/.indexes/history.index b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toHTML.ui/.indexes/history.index
index 22190b9..082de8e 100644
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toHTML.ui/.indexes/history.index and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toHTML.ui/.indexes/history.index differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toHTML.ui/.markers b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toHTML.ui/.markers
index 2ca75d7..781e4b9 100644
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toHTML.ui/.markers and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toHTML.ui/.markers differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toHTML.ui/org.eclipse.jdt.core/state.dat b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toHTML.ui/org.eclipse.jdt.core/state.dat
index 484bead..3b668ef 100644
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toHTML.ui/org.eclipse.jdt.core/state.dat and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toHTML.ui/org.eclipse.jdt.core/state.dat differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toLTL.ui/.indexes/history.index b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toLTL.ui/.indexes/history.index
index a165d79..08db194 100644
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toLTL.ui/.indexes/history.index and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toLTL.ui/.indexes/history.index differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toLTL.ui/.markers b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toLTL.ui/.markers
index 54895a5..df6877b 100644
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toLTL.ui/.markers and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toLTL.ui/.markers differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toLTL.ui/org.eclipse.jdt.core/state.dat b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toLTL.ui/org.eclipse.jdt.core/state.dat
index 17beb94..e376192 100644
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toLTL.ui/org.eclipse.jdt.core/state.dat and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toLTL.ui/org.eclipse.jdt.core/state.dat differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toLTL/.indexes/7/cc/89/fa/69/b9/history.index b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toLTL/.indexes/7/cc/89/fa/69/b9/history.index
index 296d33e..4dedaa9 100644
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toLTL/.indexes/7/cc/89/fa/69/b9/history.index and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toLTL/.indexes/7/cc/89/fa/69/b9/history.index differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toLTL/.indexes/e4/cc/89/fa/69/b9/history.index b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toLTL/.indexes/e4/cc/89/fa/69/b9/history.index
index 9a1bf7c..9ebdb51 100644
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toLTL/.indexes/e4/cc/89/fa/69/b9/history.index and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toLTL/.indexes/e4/cc/89/fa/69/b9/history.index differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toLTL/.markers b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toLTL/.markers
index e0ac86d..1932b87 100644
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toLTL/.markers and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toLTL/.markers differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toLTL/org.eclipse.acceleo.common/acceleo.state.dat b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toLTL/org.eclipse.acceleo.common/acceleo.state.dat
index 36f8459..16fa935 100644
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toLTL/org.eclipse.acceleo.common/acceleo.state.dat and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toLTL/org.eclipse.acceleo.common/acceleo.state.dat differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toLTL/org.eclipse.jdt.core/state.dat b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toLTL/org.eclipse.jdt.core/state.dat
index e4f29d6..231e4ef 100644
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toLTL/org.eclipse.jdt.core/state.dat and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toLTL/org.eclipse.jdt.core/state.dat differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.txt.pdl/.markers b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.txt.pdl/.markers
index 6dfa3f5..e11d65a 100644
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.txt.pdl/.markers and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.txt.pdl/.markers differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.root/53.tree b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.root/54.tree
similarity index 97%
rename from eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.root/53.tree
rename to eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.root/54.tree
index 93afd5a..c631e90 100644
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.root/53.tree and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.root/54.tree differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.safetable/org.eclipse.core.resources b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.safetable/org.eclipse.core.resources
index c2dd02b..5f3dca9 100644
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.safetable/org.eclipse.core.resources and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.safetable/org.eclipse.core.resources differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.e4.workbench/workbench.xmi b/eclipse-workspace/.metadata/.plugins/org.eclipse.e4.workbench/workbench.xmi
index 32d73c8..67c3c05 100644
--- a/eclipse-workspace/.metadata/.plugins/org.eclipse.e4.workbench/workbench.xmi
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.e4.workbench/workbench.xmi
@@ -1,6 +1,6 @@
-
+
activeSchemeId:org.eclipse.ui.defaultAcceleratorConfiguration
@@ -284,7 +284,7 @@
persp.newWizSC:org.eclipse.ui.editors.wizards.UntitledTextFileWizard
persp.perspSC:org.eclipse.acceleo.ide.ui.AcceleoPerspective
persp.actionSet:org.eclipse.ui.edit.text.actionSet.presentation
-
+
active
@@ -292,10 +292,11 @@
categoryTag:Java
-
+
-
+
+ Minimized
View
categoryTag:General
@@ -670,7 +671,7 @@
Draggable
-
+
toolbarSeparator
@@ -701,7 +702,7 @@
Draggable
-
+
toolbarSeparator
@@ -745,11 +746,15 @@
Draggable
-
+
TrimStack
Draggable
+
+ TrimStack
+ Draggable
+
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.jdt.core/externalLibsTimeStamps b/eclipse-workspace/.metadata/.plugins/org.eclipse.jdt.core/externalLibsTimeStamps
index e987077..200dd7b 100644
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.jdt.core/externalLibsTimeStamps and b/eclipse-workspace/.metadata/.plugins/org.eclipse.jdt.core/externalLibsTimeStamps differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.jdt.core/savedIndexNames.txt b/eclipse-workspace/.metadata/.plugins/org.eclipse.jdt.core/savedIndexNames.txt
index d297cf2..c23fa61 100644
--- a/eclipse-workspace/.metadata/.plugins/org.eclipse.jdt.core/savedIndexNames.txt
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.jdt.core/savedIndexNames.txt
@@ -20,8 +20,8 @@ INDEX VERSION 1.131+/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/.metada
1969063402.index
836787774.index
2578726767.index
-3386340968.index
1288722511.index
+3386340968.index
4032919330.index
764202902.index
1744987098.index
@@ -70,8 +70,8 @@ INDEX VERSION 1.131+/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/.metada
971658537.index
1610757853.index
2315287759.index
-2320756977.index
2133193807.index
+2320756977.index
113784225.index
3505152377.index
76600631.index
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.cache/clean-cache.properties b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.cache/clean-cache.properties
index c3c74ef..5bdc176 100644
--- a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.cache/clean-cache.properties
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.cache/clean-cache.properties
@@ -1,2 +1,2 @@
#Cached timestamps
-#Mon Oct 18 17:23:07 CEST 2021
+#Mon Oct 18 19:02:38 CEST 2021
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.extensions/.contributions.1 b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.extensions/.contributions.1
index eb37435..5b15bbc 100644
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.extensions/.contributions.1 and b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.extensions/.contributions.1 differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.extensions/.extraData.1 b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.extensions/.extraData.1
index 64d2bda..b8a631f 100644
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.extensions/.extraData.1 and b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.extensions/.extraData.1 differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.extensions/.mainData.1 b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.extensions/.mainData.1
index 1db0ca5..4850764 100644
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.extensions/.mainData.1 and b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.extensions/.mainData.1 differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.extensions/.manager/.fileTable.7 b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.extensions/.manager/.fileTable.7
index 4dca7fa..86d4054 100644
--- a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.extensions/.manager/.fileTable.7
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.extensions/.manager/.fileTable.7
@@ -1,5 +1,5 @@
#safe table
-#Mon Oct 18 17:23:07 CEST 2021
+#Mon Oct 18 19:02:38 CEST 2021
.orphans=0
.mainData=0
.contributors=0
@@ -7,4 +7,4 @@
.extraData=0
.contributions=0
.table=0
-.crc6f3f85df.v1
+.crc3ac0f7d8.v1
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.extensions/.manager/.fileTable.8 b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.extensions/.manager/.fileTable.8
index 0e93e25..2ae1a6e 100644
--- a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.extensions/.manager/.fileTable.8
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.extensions/.manager/.fileTable.8
@@ -1,5 +1,5 @@
#safe table
-#Mon Oct 18 17:23:07 CEST 2021
+#Mon Oct 18 19:02:39 CEST 2021
.orphans=1
.mainData=1
.contributors=1
@@ -7,4 +7,4 @@
.extraData=1
.contributions=1
.table=1
-.crca04dbfe4.v1
+.crcf90c0d0e.v1
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.extensions/.namespaces.1 b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.extensions/.namespaces.1
index 17a27fd..02b0fbf 100644
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.extensions/.namespaces.1 and b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.extensions/.namespaces.1 differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.extensions/.table.1 b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.extensions/.table.1
index 37f0226..c38734c 100644
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.extensions/.table.1 and b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.extensions/.table.1 differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/config.ini b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/config.ini
index ba69a52..5190b7f 100644
--- a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/config.ini
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/config.ini
@@ -1,5 +1,5 @@
#Configuration File
-#Mon Oct 18 16:30:55 CEST 2021
+#Mon Oct 18 18:39:33 CEST 2021
eclipse.product=org.eclipse.platform.ide
osgi.splashPath=file\:/mnt/n7fs/ens/tp_cregut/eclipse-gls-2020-09/plugins/org.eclipse.platform_4.17.0.v20200902-1800
osgi.install.area=file\:/mnt/n7fs/ens/tp_cregut/eclipse-gls-2020-09/
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/dev.properties b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/dev.properties
index e6a4c74..0e5e1a3 100644
--- a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/dev.properties
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/dev.properties
@@ -1,5 +1,5 @@
#
-#Mon Oct 18 16:30:55 CEST 2021
+#Mon Oct 18 18:39:33 CEST 2021
fr.n7.simplepdl.edit=bin
fr.n7.simplepdl.txt.pdl.ide=bin
fr.n7.simplepdl.toDOT=bin
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.core.runtime/.contributions.1 b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.core.runtime/.contributions.1
index dc57606..7cc78dc 100644
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.core.runtime/.contributions.1 and b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.core.runtime/.contributions.1 differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.core.runtime/.extraData.1 b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.core.runtime/.extraData.1
index b7937d2..3ee79ee 100644
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.core.runtime/.extraData.1 and b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.core.runtime/.extraData.1 differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.core.runtime/.mainData.1 b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.core.runtime/.mainData.1
index 740bba6..c52a837 100644
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.core.runtime/.mainData.1 and b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.core.runtime/.mainData.1 differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.core.runtime/.manager/.fileTable.7 b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.core.runtime/.manager/.fileTable.7
index f0f449a..2b96a26 100644
--- a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.core.runtime/.manager/.fileTable.7
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.core.runtime/.manager/.fileTable.7
@@ -1,5 +1,5 @@
#safe table
-#Mon Oct 18 17:22:35 CEST 2021
+#Mon Oct 18 19:02:19 CEST 2021
.orphans=0
.mainData=0
.contributors=0
@@ -7,4 +7,4 @@
.extraData=0
.contributions=0
.table=0
-.crc88f36871.v1
+.crc5061717e.v1
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.core.runtime/.manager/.fileTable.8 b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.core.runtime/.manager/.fileTable.8
index 7df9f32..a315048 100644
--- a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.core.runtime/.manager/.fileTable.8
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.core.runtime/.manager/.fileTable.8
@@ -1,5 +1,5 @@
#safe table
-#Mon Oct 18 17:22:35 CEST 2021
+#Mon Oct 18 19:02:19 CEST 2021
.orphans=1
.mainData=1
.contributors=1
@@ -7,4 +7,4 @@
.extraData=1
.contributions=1
.table=1
-.crc4781524a.v1
+.crc9f134b45.v1
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.core.runtime/.namespaces.1 b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.core.runtime/.namespaces.1
index a981a0a..98cc851 100644
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.core.runtime/.namespaces.1 and b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.core.runtime/.namespaces.1 differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.core.runtime/.orphans.1 b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.core.runtime/.orphans.1
index 83b92eb..1faa0e7 100644
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.core.runtime/.orphans.1 and b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.core.runtime/.orphans.1 differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.core.runtime/.table.1 b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.core.runtime/.table.1
index 9e10bec..5c1b69e 100644
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.core.runtime/.table.1 and b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.core.runtime/.table.1 differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/.manager/.fileTable.1 b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/.manager/.fileTable.1
new file mode 100644
index 0000000..6d14e16
--- /dev/null
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/.manager/.fileTable.1
@@ -0,0 +1,4 @@
+#safe table
+#Mon Oct 18 18:40:04 CEST 2021
+framework.info=0
+.crcc52011b8.v1
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/.manager/.fileTable.2 b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/.manager/.fileTable.2
index 1897887..e5a2b5f 100644
--- a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/.manager/.fileTable.2
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/.manager/.fileTable.2
@@ -1,4 +1,4 @@
#safe table
-#Mon Oct 18 16:31:26 CEST 2021
+#Mon Oct 18 18:40:04 CEST 2021
framework.info=1
-.crc156078a4.v1
+.crcdc3b20f9.v1
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/.manager/.fileTable.3 b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/.manager/.fileTable.3
deleted file mode 100644
index b3cd22e..0000000
--- a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/.manager/.fileTable.3
+++ /dev/null
@@ -1,4 +0,0 @@
-#safe table
-#Mon Oct 18 17:00:26 CEST 2021
-framework.info=2
-.crc5b1e8810.v1
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/dlcl16/collapseall.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/dlcl16/collapseall.png
deleted file mode 100644
index a40ba4e..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/dlcl16/collapseall.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/dlcl16/copy_edit_co.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/dlcl16/copy_edit_co.png
deleted file mode 100644
index 71ee89e..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/dlcl16/copy_edit_co.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/dlcl16/export_config.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/dlcl16/export_config.png
deleted file mode 100644
index 1a84188..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/dlcl16/export_config.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/dlcl16/new_con.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/dlcl16/new_con.png
deleted file mode 100644
index 172b80a..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/dlcl16/new_con.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/dlcl16/new_proto.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/dlcl16/new_proto.png
deleted file mode 100644
index b739070..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/dlcl16/new_proto.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/dlcl16/rem_co.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/dlcl16/rem_co.png
deleted file mode 100644
index d1cd8b6..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/dlcl16/rem_co.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/elcl16/collapseall.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/elcl16/collapseall.png
deleted file mode 100644
index 000891d..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/elcl16/collapseall.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/elcl16/copy_edit_co.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/elcl16/copy_edit_co.png
deleted file mode 100644
index 245ef85..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/elcl16/copy_edit_co.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/elcl16/delete_config.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/elcl16/delete_config.png
deleted file mode 100644
index 5f00385..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/elcl16/delete_config.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/elcl16/export_config.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/elcl16/export_config.png
deleted file mode 100644
index 5d044ab..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/elcl16/export_config.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/elcl16/filter_ps.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/elcl16/filter_ps.png
deleted file mode 100644
index 58faf49..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/elcl16/filter_ps.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/elcl16/link_proto.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/elcl16/link_proto.png
deleted file mode 100644
index b60db5f..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/elcl16/link_proto.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/elcl16/new_con.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/elcl16/new_con.png
deleted file mode 100644
index 88d31a6..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/elcl16/new_con.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/elcl16/new_proto.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/elcl16/new_proto.png
deleted file mode 100644
index b739070..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/elcl16/new_proto.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/elcl16/reset_proto.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/elcl16/reset_proto.png
deleted file mode 100644
index 3aa0a14..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/elcl16/reset_proto.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/elcl16/unlink_proto.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/elcl16/unlink_proto.png
deleted file mode 100644
index f46aa24..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/elcl16/unlink_proto.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/obj16/common_tab.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/obj16/common_tab.png
deleted file mode 100644
index 78ef0c9..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/obj16/common_tab.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/obj16/lgroup_obj.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/obj16/lgroup_obj.png
deleted file mode 100644
index e393ca3..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/obj16/lgroup_obj.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/ovr16/error.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/ovr16/error.png
deleted file mode 100644
index 600de81..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/ovr16/error.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/ovr16/transparent.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/ovr16/transparent.png
deleted file mode 100644
index 96729e1..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/ovr16/transparent.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/wizban/run_wiz.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/wizban/run_wiz.png
deleted file mode 100644
index 16edc87..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/wizban/run_wiz.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/160/0/.cp/icons/full/etool16/fastview_restore.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/160/0/.cp/icons/full/etool16/fastview_restore.png
new file mode 100644
index 0000000..bfa80b7
Binary files /dev/null and b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/160/0/.cp/icons/full/etool16/fastview_restore.png differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/297/0/.cp/icons/workflowfile.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/297/0/.cp/icons/workflowfile.gif
deleted file mode 100644
index 25bc50e..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/297/0/.cp/icons/workflowfile.gif and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/425/0/.cp/icons/arrow_type.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/425/0/.cp/icons/arrow_type.gif
deleted file mode 100644
index bf2f6b7..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/425/0/.cp/icons/arrow_type.gif and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/425/0/.cp/icons/bold.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/425/0/.cp/icons/bold.gif
deleted file mode 100644
index ca8f423..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/425/0/.cp/icons/bold.gif and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/425/0/.cp/icons/fill_color.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/425/0/.cp/icons/fill_color.gif
deleted file mode 100644
index 93d2da1..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/425/0/.cp/icons/fill_color.gif and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/425/0/.cp/icons/font_color.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/425/0/.cp/icons/font_color.gif
deleted file mode 100644
index 291a7e3..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/425/0/.cp/icons/font_color.gif and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/425/0/.cp/icons/italic.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/425/0/.cp/icons/italic.gif
deleted file mode 100644
index c4f7b39..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/425/0/.cp/icons/italic.gif and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/425/0/.cp/icons/line_color.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/425/0/.cp/icons/line_color.gif
deleted file mode 100644
index 9dfa28c..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/425/0/.cp/icons/line_color.gif and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/425/0/.cp/icons/line_type.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/425/0/.cp/icons/line_type.gif
deleted file mode 100644
index 9a0dc2e..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/425/0/.cp/icons/line_type.gif and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/425/0/.cp/icons/line_width.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/425/0/.cp/icons/line_width.gif
deleted file mode 100644
index fc3eb8a..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/425/0/.cp/icons/line_width.gif and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/463/0/.cp/icons/full/etool16/java_app.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/463/0/.cp/icons/full/etool16/java_app.png
deleted file mode 100644
index 3b1b4b5..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/463/0/.cp/icons/full/etool16/java_app.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/463/0/.cp/icons/full/etool16/java_applet.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/463/0/.cp/icons/full/etool16/java_applet.png
deleted file mode 100644
index 59c44e9..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/463/0/.cp/icons/full/etool16/java_applet.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/466/0/.cp/icons/full/obj16/julaunch.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/466/0/.cp/icons/full/obj16/julaunch.png
deleted file mode 100644
index ede46fb..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/466/0/.cp/icons/full/obj16/julaunch.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/480/0/.cp/icons/full/message_error.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/480/0/.cp/icons/full/message_error.png
deleted file mode 100644
index 317f8af..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/480/0/.cp/icons/full/message_error.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/496/0/.cp/icons/atl_file.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/496/0/.cp/icons/atl_file.gif
deleted file mode 100644
index db8c420..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/496/0/.cp/icons/atl_file.gif and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/515/0/.cp/icons/obj16/emftvm_launch.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/515/0/.cp/icons/obj16/emftvm_launch.gif
deleted file mode 100644
index cb62b69..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/515/0/.cp/icons/obj16/emftvm_launch.gif and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/558/0/.cp/icons/OCLModelFile.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/558/0/.cp/icons/OCLModelFile.gif
deleted file mode 100644
index 2945103..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/558/0/.cp/icons/OCLModelFile.gif and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/645/0/.cp/icons/etool16/eclipse16.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/645/0/.cp/icons/etool16/eclipse16.png
deleted file mode 100644
index 7fc6951..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/645/0/.cp/icons/etool16/eclipse16.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/645/0/.cp/icons/obj16/bundle_obj.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/645/0/.cp/icons/obj16/bundle_obj.png
deleted file mode 100644
index 004b646..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/645/0/.cp/icons/obj16/bundle_obj.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/645/0/.cp/icons/obj16/julaunchpgn.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/645/0/.cp/icons/obj16/julaunchpgn.png
deleted file mode 100644
index 502b922..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/645/0/.cp/icons/obj16/julaunchpgn.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/667/0/.cp/icons/deselectAll.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/667/0/.cp/icons/deselectAll.gif
deleted file mode 100644
index 20d2423..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/667/0/.cp/icons/deselectAll.gif and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/667/0/.cp/icons/pasteLayout.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/667/0/.cp/icons/pasteLayout.gif
deleted file mode 100644
index d6d4ac1..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/667/0/.cp/icons/pasteLayout.gif and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/667/0/.cp/icons/pasteStyle.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/667/0/.cp/icons/pasteStyle.gif
deleted file mode 100644
index 7572404..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/667/0/.cp/icons/pasteStyle.gif and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/667/0/.cp/icons/strikethrough.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/667/0/.cp/icons/strikethrough.gif
deleted file mode 100644
index a4e4c65..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/667/0/.cp/icons/strikethrough.gif and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/667/0/.cp/icons/underline.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/667/0/.cp/icons/underline.gif
deleted file mode 100644
index 8f7a6d4..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/667/0/.cp/icons/underline.gif and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/706/0/.cp/icons/full/obj16/Viewpoint.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/706/0/.cp/icons/full/obj16/Viewpoint.gif
deleted file mode 100644
index aa2c8c8..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/706/0/.cp/icons/full/obj16/Viewpoint.gif and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/706/0/.cp/icons/full/others/addRepresentation.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/706/0/.cp/icons/full/others/addRepresentation.gif
deleted file mode 100644
index 1c1ad95..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/706/0/.cp/icons/full/others/addRepresentation.gif and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/706/0/.cp/icons/full/others/delete.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/706/0/.cp/icons/full/others/delete.gif
new file mode 100644
index 0000000..b6922ac
Binary files /dev/null and b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/706/0/.cp/icons/full/others/delete.gif differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/706/0/.cp/icons/full/others/export.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/706/0/.cp/icons/full/others/export.gif
new file mode 100644
index 0000000..5a0837d
Binary files /dev/null and b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/706/0/.cp/icons/full/others/export.gif differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/706/0/.cp/icons/full/others/image.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/706/0/.cp/icons/full/others/image.gif
new file mode 100644
index 0000000..830be0e
Binary files /dev/null and b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/706/0/.cp/icons/full/others/image.gif differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/716/0/.cp/icons/full/eview16/history_view.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/716/0/.cp/icons/full/eview16/history_view.png
new file mode 100644
index 0000000..a3339a0
Binary files /dev/null and b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/716/0/.cp/icons/full/eview16/history_view.png differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/obj16/info_tsk.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/obj16/info_tsk.png
deleted file mode 100644
index c18aa5a..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/obj16/info_tsk.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/obj16/warn_tsk.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/obj16/warn_tsk.png
deleted file mode 100644
index 080cfb8..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/obj16/warn_tsk.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/721/0/.cp/icons/obj16/internal_browser.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/721/0/.cp/icons/obj16/internal_browser.png
deleted file mode 100644
index b7dcb79..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/721/0/.cp/icons/obj16/internal_browser.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/723/0/.cp/icons/full/clcl16/clear_co.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/723/0/.cp/icons/full/clcl16/clear_co.png
deleted file mode 100644
index 559471b..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/723/0/.cp/icons/full/clcl16/clear_co.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/723/0/.cp/icons/full/clcl16/lock_co.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/723/0/.cp/icons/full/clcl16/lock_co.png
deleted file mode 100644
index df111d4..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/723/0/.cp/icons/full/clcl16/lock_co.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/723/0/.cp/icons/full/clcl16/pin.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/723/0/.cp/icons/full/clcl16/pin.png
deleted file mode 100644
index a22ec80..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/723/0/.cp/icons/full/clcl16/pin.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/723/0/.cp/icons/full/clcl16/wordwrap.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/723/0/.cp/icons/full/clcl16/wordwrap.png
deleted file mode 100644
index ccbef2c..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/723/0/.cp/icons/full/clcl16/wordwrap.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/723/0/.cp/icons/full/dlcl16/clear_co.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/723/0/.cp/icons/full/dlcl16/clear_co.png
deleted file mode 100644
index d5b5764..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/723/0/.cp/icons/full/dlcl16/clear_co.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/723/0/.cp/icons/full/dlcl16/lock_co.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/723/0/.cp/icons/full/dlcl16/lock_co.png
deleted file mode 100644
index 6f06196..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/723/0/.cp/icons/full/dlcl16/lock_co.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/723/0/.cp/icons/full/dlcl16/new_con.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/723/0/.cp/icons/full/dlcl16/new_con.png
deleted file mode 100644
index 734d294..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/723/0/.cp/icons/full/dlcl16/new_con.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/723/0/.cp/icons/full/dlcl16/pin.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/723/0/.cp/icons/full/dlcl16/pin.png
deleted file mode 100644
index a24e058..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/723/0/.cp/icons/full/dlcl16/pin.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/723/0/.cp/icons/full/dlcl16/wordwrap.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/723/0/.cp/icons/full/dlcl16/wordwrap.png
deleted file mode 100644
index 35198e1..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/723/0/.cp/icons/full/dlcl16/wordwrap.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/723/0/.cp/icons/full/elcl16/new_con.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/723/0/.cp/icons/full/elcl16/new_con.png
deleted file mode 100644
index 1f9995c..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/723/0/.cp/icons/full/elcl16/new_con.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/dlcl16/filter_ps.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/dlcl16/filter_ps.png
deleted file mode 100644
index d483395..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/dlcl16/filter_ps.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/elcl16/filter_ps.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/elcl16/filter_ps.png
deleted file mode 100644
index 58faf49..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/elcl16/filter_ps.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/eview16/problems_view_error.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/eview16/problems_view_error.png
deleted file mode 100644
index 3c2582e..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/eview16/problems_view_error.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/eview16/problems_view_warning.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/eview16/problems_view_warning.png
deleted file mode 100644
index 15d68df..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/eview16/problems_view_warning.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/eview16/tasks_tsk.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/eview16/tasks_tsk.png
new file mode 100644
index 0000000..8d991a3
Binary files /dev/null and b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/eview16/tasks_tsk.png differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/obj16/error_tsk.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/obj16/error_tsk.png
deleted file mode 100644
index 487b5d7..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/obj16/error_tsk.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/obj16/warn_tsk.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/obj16/warn_tsk.png
deleted file mode 100644
index b900f3b..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/obj16/warn_tsk.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/wizban/saveas_wiz.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/wizban/saveas_wiz.png
deleted file mode 100644
index 583da3c..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/wizban/saveas_wiz.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/814/0/.cp/icons/obj16/correction_change.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/814/0/.cp/icons/obj16/correction_change.gif
deleted file mode 100644
index 068e18d..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/814/0/.cp/icons/obj16/correction_change.gif and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/814/0/.cp/icons/obj16/quickfix_error_obj.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/814/0/.cp/icons/obj16/quickfix_error_obj.gif
deleted file mode 100644
index 07a1054..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/814/0/.cp/icons/obj16/quickfix_error_obj.gif and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/814/0/.cp/icons/obj16/quickfix_info_obj.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/814/0/.cp/icons/obj16/quickfix_info_obj.png
deleted file mode 100644
index 08302f3..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/814/0/.cp/icons/obj16/quickfix_info_obj.png and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/814/0/.cp/icons/obj16/quickfix_warning_obj.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/814/0/.cp/icons/obj16/quickfix_warning_obj.gif
deleted file mode 100644
index 1f0002b..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/814/0/.cp/icons/obj16/quickfix_warning_obj.gif and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/97/0/.cp/icons/AcceleoLaunch.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/97/0/.cp/icons/AcceleoLaunch.gif
deleted file mode 100644
index 9dd1d52..0000000
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/97/0/.cp/icons/AcceleoLaunch.gif and /dev/null differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/framework.info.2 b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/framework.info.1
similarity index 86%
rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/framework.info.2
rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/framework.info.1
index d3798e9..c8df943 100644
Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/framework.info.2 and b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/framework.info.1 differ
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.update/platform.xml b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.update/platform.xml
index b9f2392..153727a 100644
--- a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.update/platform.xml
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.update/platform.xml
@@ -1,5 +1,5 @@
-
+
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/SavedExternalPluginList.txt b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/SavedExternalPluginList.txt
index c231953..4da6491 100644
--- a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/SavedExternalPluginList.txt
+++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/SavedExternalPluginList.txt
@@ -1,4 +1,4 @@
-# List of external plug-in models previously loaded. Timestamp: 1634565236518
+# List of external plug-in models previously loaded. Timestamp: 1634571084681
file:/mnt/n7fs/ens/tp_cregut/eclipse-gls-2020-09/plugins/com.google.guava_27.1.0.v20190517-1946.jar
file:/mnt/n7fs/ens/tp_cregut/eclipse-gls-2020-09/plugins/com.google.inject_3.0.0.v201605172100.jar
file:/mnt/n7fs/ens/tp_cregut/eclipse-gls-2020-09/plugins/com.ibm.icu_67.1.0.v20200706-1749.jar
diff --git a/eclipse-workspace/.metadata/version.ini b/eclipse-workspace/.metadata/version.ini
index f0bed03..1273ecb 100644
--- a/eclipse-workspace/.metadata/version.ini
+++ b/eclipse-workspace/.metadata/version.ini
@@ -1,3 +1,3 @@
-#Mon Oct 18 15:53:48 CEST 2021
+#Mon Oct 18 17:31:19 CEST 2021
org.eclipse.core.runtime=2
org.eclipse.platform=4.17.0.v20200902-1800
diff --git a/eclipse-workspace/fr.n7.simplepdl.toDOT.ui/plugin.xml b/eclipse-workspace/fr.n7.simplepdl.toDOT.ui/plugin.xml
index d44d69c..95bf467 100644
--- a/eclipse-workspace/fr.n7.simplepdl.toDOT.ui/plugin.xml
+++ b/eclipse-workspace/fr.n7.simplepdl.toDOT.ui/plugin.xml
@@ -5,8 +5,13 @@