diff --git a/eclipse-workspace/.metadata/.log b/eclipse-workspace/.metadata/.log index 253c98f..169bb01 100644 --- a/eclipse-workspace/.metadata/.log +++ b/eclipse-workspace/.metadata/.log @@ -8670,3 +8670,83 @@ 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-17 15:20:32.840 ----------------------------------------------- +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.emf.cdo.explorer 4 0 2021-10-17 15:25:05.467 +!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) +!SESSION 2021-10-17 15:25:06.300 ----------------------------------------------- +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: -data file:/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/ -os linux -ws gtk -arch x86_64 -product org.eclipse.epp.package.modeling.product + +!ENTRY org.eclipse.emf.cdo.explorer 4 0 2021-10-17 15:48:32.047 +!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/ed/d01f10174e2f001c1a4087ba71658d2f b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/ed/d01f10174e2f001c1a4087ba71658d2f new file mode 100644 index 0000000..bc29c37 --- /dev/null +++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/ed/d01f10174e2f001c1a4087ba71658d2f @@ -0,0 +1,10 @@ +[comment encoding = UTF-8 /] +[module toLTL('http://simplepdl')] + + +[template public processToLTL(aProcess : Process)] +[comment @main/] +[file (aProcess.name, false, 'UTF-8')] + +[/file] +[/template] diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.edit/.markers b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.edit/.markers index caeee19..e0c5b09 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.edit/.markers and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.edit/.markers differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.edit/org.eclipse.jdt.core/state.dat b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.edit/org.eclipse.jdt.core/state.dat index 61a4c42..29fc3c4 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.edit/org.eclipse.jdt.core/state.dat and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.edit/org.eclipse.jdt.core/state.dat differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.editor/.markers b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.editor/.markers index 5969c95..21949f6 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.editor/.markers and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.editor/.markers differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.editor/org.eclipse.jdt.core/state.dat b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.editor/org.eclipse.jdt.core/state.dat index d4cbb73..dc2e80b 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.editor/org.eclipse.jdt.core/state.dat and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.editor/org.eclipse.jdt.core/state.dat differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.tests/.markers b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.tests/.markers index 85b2021..0df38d9 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.tests/.markers and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.tests/.markers differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.tests/org.eclipse.jdt.core/state.dat b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.tests/org.eclipse.jdt.core/state.dat index e5c1a14..96c99ac 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.tests/org.eclipse.jdt.core/state.dat and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.tests/org.eclipse.jdt.core/state.dat differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.toTINA.ui/.markers b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.toTINA.ui/.markers index e8a3965..b898aae 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.toTINA.ui/.markers and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.toTINA.ui/.markers differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.toTINA.ui/org.eclipse.jdt.core/state.dat b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.toTINA.ui/org.eclipse.jdt.core/state.dat index b43fe11..4e7897a 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.toTINA.ui/org.eclipse.jdt.core/state.dat and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.toTINA.ui/org.eclipse.jdt.core/state.dat differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.toTINA/.markers b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.toTINA/.markers index b52de8f..ef0196b 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.toTINA/.markers and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.toTINA/.markers differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.toTINA/org.eclipse.acceleo.common/acceleo.state.dat b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.toTINA/org.eclipse.acceleo.common/acceleo.state.dat index 31534fc..6b829a5 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.toTINA/org.eclipse.acceleo.common/acceleo.state.dat and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.toTINA/org.eclipse.acceleo.common/acceleo.state.dat differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.toTINA/org.eclipse.jdt.core/state.dat b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.toTINA/org.eclipse.jdt.core/state.dat index b1a4445..b5448e3 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.toTINA/org.eclipse.jdt.core/state.dat and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.toTINA/org.eclipse.jdt.core/state.dat differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet/.markers b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet/.markers index 904abf6..c7b6382 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet/.markers and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet/.markers differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet/org.eclipse.jdt.core/state.dat b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet/org.eclipse.jdt.core/state.dat index 7e52f82..4747b3e 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet/org.eclipse.jdt.core/state.dat and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet/org.eclipse.jdt.core/state.dat differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.edit/.markers b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.edit/.markers index 719e8d0..473c7c7 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.edit/.markers and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.edit/.markers differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.edit/org.eclipse.jdt.core/state.dat b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.edit/org.eclipse.jdt.core/state.dat index 899582c..864cc5f 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.edit/org.eclipse.jdt.core/state.dat and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.edit/org.eclipse.jdt.core/state.dat differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.editor/.markers b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.editor/.markers index 7a7f5a6..f89d2c1 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.editor/.markers and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.editor/.markers differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.editor/org.eclipse.jdt.core/state.dat b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.editor/org.eclipse.jdt.core/state.dat index d88868b..895e199 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.editor/org.eclipse.jdt.core/state.dat and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.editor/org.eclipse.jdt.core/state.dat differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.tests/.markers b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.tests/.markers index 9452a2d..e03dce4 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.tests/.markers and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.tests/.markers differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.tests/org.eclipse.jdt.core/state.dat b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.tests/org.eclipse.jdt.core/state.dat index 8d88e3a..e77f31b 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.tests/org.eclipse.jdt.core/state.dat and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.tests/org.eclipse.jdt.core/state.dat 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 a8273c3..ade9319 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 575bbe9..7d1df0d 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 e52c522..f3dd477 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.toDOT/org.eclipse.acceleo.common/acceleo.state.dat b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toDOT/org.eclipse.acceleo.common/acceleo.state.dat index f19666d..7cccdbf 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toDOT/org.eclipse.acceleo.common/acceleo.state.dat and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toDOT/org.eclipse.acceleo.common/acceleo.state.dat differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toDOT/org.eclipse.jdt.core/state.dat b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toDOT/org.eclipse.jdt.core/state.dat index 84893a4..586e338 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toDOT/org.eclipse.jdt.core/state.dat and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toDOT/org.eclipse.jdt.core/state.dat 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 b918b0f..71443e3 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 78e9144..6335be8 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.toHTML/.markers b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toHTML/.markers index 66398a5..dda7523 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toHTML/.markers and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toHTML/.markers differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toHTML/org.eclipse.acceleo.common/acceleo.state.dat b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toHTML/org.eclipse.acceleo.common/acceleo.state.dat index 5a28d13..938e83a 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toHTML/org.eclipse.acceleo.common/acceleo.state.dat and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toHTML/org.eclipse.acceleo.common/acceleo.state.dat differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toHTML/org.eclipse.jdt.core/state.dat b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toHTML/org.eclipse.jdt.core/state.dat index b8c4b7a..af9e59b 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toHTML/org.eclipse.jdt.core/state.dat and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.toHTML/org.eclipse.jdt.core/state.dat 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 new file mode 100644 index 0000000..231308f Binary files /dev/null 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 new file mode 100644 index 0000000..a4f83fd Binary files /dev/null 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 new file mode 100644 index 0000000..296d33e Binary files /dev/null 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 new file mode 100644 index 0000000..9a1bf7c Binary files /dev/null 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 new file mode 100644 index 0000000..e7b0c0b Binary files /dev/null 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 new file mode 100644 index 0000000..bf26ac6 Binary files /dev/null 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 new file mode 100644 index 0000000..0141a4d Binary files /dev/null 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.ide/org.eclipse.jdt.core/state.dat b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.txt.pdl.ide/org.eclipse.jdt.core/state.dat index 3358d4f..4f6a418 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.txt.pdl.ide/org.eclipse.jdt.core/state.dat and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.txt.pdl.ide/org.eclipse.jdt.core/state.dat differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.txt.pdl.tests/.markers b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.txt.pdl.tests/.markers index 9e23e6f..038d1a5 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.txt.pdl.tests/.markers and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.txt.pdl.tests/.markers differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.txt.pdl.tests/org.eclipse.jdt.core/state.dat b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.txt.pdl.tests/org.eclipse.jdt.core/state.dat index 4130f07..1d05b0b 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.txt.pdl.tests/org.eclipse.jdt.core/state.dat and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.txt.pdl.tests/org.eclipse.jdt.core/state.dat differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.txt.pdl.ui.tests/org.eclipse.jdt.core/state.dat b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.txt.pdl.ui.tests/org.eclipse.jdt.core/state.dat index c8977d8..b6e0cdd 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.txt.pdl.ui.tests/org.eclipse.jdt.core/state.dat and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.txt.pdl.ui.tests/org.eclipse.jdt.core/state.dat differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.txt.pdl.ui/org.eclipse.jdt.core/state.dat b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.txt.pdl.ui/org.eclipse.jdt.core/state.dat index 32b14c0..0222265 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.txt.pdl.ui/org.eclipse.jdt.core/state.dat and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.txt.pdl.ui/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 eb3de46..bfa740c 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/.projects/fr.n7.simplepdl.txt.pdl/org.eclipse.jdt.core/state.dat b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.txt.pdl/org.eclipse.jdt.core/state.dat index 34c65c7..c70ae85 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.txt.pdl/org.eclipse.jdt.core/state.dat and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.txt.pdl/org.eclipse.jdt.core/state.dat differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl/.markers b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl/.markers index 382f546..60ddb89 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl/.markers and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl/.markers differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl/org.eclipse.jdt.core/state.dat b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl/org.eclipse.jdt.core/state.dat index 0309268..0870341 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl/org.eclipse.jdt.core/state.dat and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl/org.eclipse.jdt.core/state.dat differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.root/.indexes/properties.index b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.root/.indexes/properties.index index db68ffc..89969b3 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.root/.indexes/properties.index and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.root/.indexes/properties.index differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.root/50.tree b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.root/50.tree deleted file mode 100644 index d176aec..0000000 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.root/50.tree and /dev/null differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.root/52.tree b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.root/52.tree new file mode 100644 index 0000000..dbfc72c Binary files /dev/null and b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.root/52.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 d2522a9..d91378c 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.core.runtime/.settings/org.eclipse.ui.ide.prefs b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs index 86c340c..9f23743 100644 --- a/eclipse-workspace/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs +++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs @@ -1,5 +1,5 @@ PROBLEMS_FILTERS_MIGRATE=true eclipse.preferences.version=1 -platformState=1631777710740 +platformState=1631777710750 quickStart=false tipsAndTricks=true 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 9d0a6d7..016420f 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 @@ -12,7 +12,7 @@ topLevel shellMaximized - + persp.actionSet:org.eclipse.acceleo.ide.ui.editors.template.actionSet @@ -186,9 +186,10 @@ persp.viewSC:org.eclipse.jdt.ui.PackageExplorer persp.viewSC:org.eclipse.pde.ui.TargetPlatformState persp.newWizSC:org.eclipse.pde.ds.ui.wizard - + org.eclipse.e4.primaryNavigationStack + noFocus View categoryTag:General @@ -285,13 +286,13 @@ persp.actionSet:org.eclipse.ui.edit.text.actionSet.presentation - noFocus + active View categoryTag:Java - + @@ -450,10 +451,9 @@ categoryTag:Help - + org.eclipse.e4.primaryDataStack EditorStack - active Editor @@ -465,8 +465,12 @@ Editor removeOnHide org.eclipse.emf.ecore.presentation.ReflectiveEditorID - active - activeOnClose + + + + Editor + removeOnHide + org.eclipse.acceleo.ide.ui.editors.template.AcceleoEditor @@ -492,7 +496,7 @@ ViewMenu menuContribution:menu - + @@ -504,7 +508,7 @@ ViewMenu menuContribution:menu - + @@ -534,7 +538,7 @@ ViewMenu menuContribution:menu - + @@ -566,11 +570,12 @@ View categoryTag:General + highlighted ViewMenu menuContribution:menu - + @@ -620,11 +625,13 @@ View categoryTag:Java + active + activeOnClose ViewMenu menuContribution:menu - + @@ -681,7 +688,7 @@ Draggable - + toolbarSeparator @@ -703,7 +710,7 @@ Draggable - + Draggable @@ -712,7 +719,7 @@ Draggable - + toolbarSeparator diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.jdt.core/1498530956.index b/eclipse-workspace/.metadata/.plugins/org.eclipse.jdt.core/1498530956.index new file mode 100644 index 0000000..4091e5a Binary files /dev/null and b/eclipse-workspace/.metadata/.plugins/org.eclipse.jdt.core/1498530956.index differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.jdt.core/2569137636.index b/eclipse-workspace/.metadata/.plugins/org.eclipse.jdt.core/2569137636.index index 340054a..927f33c 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.jdt.core/2569137636.index and b/eclipse-workspace/.metadata/.plugins/org.eclipse.jdt.core/2569137636.index differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.jdt.core/2835514616.index b/eclipse-workspace/.metadata/.plugins/org.eclipse.jdt.core/2835514616.index index 5ee775a..cdb5186 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.jdt.core/2835514616.index and b/eclipse-workspace/.metadata/.plugins/org.eclipse.jdt.core/2835514616.index differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.jdt.core/4032919330.index b/eclipse-workspace/.metadata/.plugins/org.eclipse.jdt.core/4032919330.index new file mode 100644 index 0000000..1d1d7e3 Binary files /dev/null and b/eclipse-workspace/.metadata/.plugins/org.eclipse.jdt.core/4032919330.index differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.jdt.core/externalFilesCache b/eclipse-workspace/.metadata/.plugins/org.eclipse.jdt.core/externalFilesCache index cde0efd..a639d39 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.jdt.core/externalFilesCache and b/eclipse-workspace/.metadata/.plugins/org.eclipse.jdt.core/externalFilesCache 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 c64bdc5..80a46c2 100644 --- a/eclipse-workspace/.metadata/.plugins/org.eclipse.jdt.core/savedIndexNames.txt +++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.jdt.core/savedIndexNames.txt @@ -9,24 +9,16 @@ INDEX VERSION 1.131+/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/.metada 2835514616.index 3006243032.index 489623180.index -1190385766.index -1259215892.index -243785569.index 2376741536.index 3145903242.index 1394413366.index 3591232502.index -4270576026.index -1969063402.index -836787774.index 2578726767.index -1288722511.index 3386340968.index +4032919330.index 764202902.index -1744987098.index 573847568.index 997444292.index -646308851.index 3771331033.index 2569137636.index 3334587369.index @@ -39,7 +31,6 @@ INDEX VERSION 1.131+/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/.metada 2057578931.index 4059096833.index 2253254511.index -701648383.index 3148758245.index 4164320705.index 4196230627.index @@ -50,13 +41,9 @@ INDEX VERSION 1.131+/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/.metada 1158197951.index 2677393814.index 1139869676.index -2944618107.index 1027991553.index -870911012.index 2313130512.index -3499872082.index 3911324168.index -69115327.index 1803964228.index 405568623.index 2569761729.index @@ -69,54 +56,36 @@ INDEX VERSION 1.131+/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/.metada 971658537.index 1610757853.index 2315287759.index -2133193807.index 2320756977.index -113784225.index 3505152377.index 76600631.index -361289234.index 3745962735.index 62860848.index 976850906.index 4178112758.index 1254821726.index -3370953800.index 686276266.index -2479976885.index 2672150609.index 6020144.index -3144173601.index 3756796416.index -3228602193.index 3982670021.index -1366149182.index 2952376003.index 815506655.index -124733140.index -1332398772.index 638382064.index -4244811416.index 2582560612.index 2469834123.index 1404716352.index 2682449071.index -2684007147.index 1370267799.index 3870799393.index 3358347301.index 59924782.index -649822626.index +1498530956.index 363003284.index 264048023.index 2036772525.index -1638374812.index -3761123150.index 2423942917.index 3245577179.index -687162898.index 3977823992.index -1001394679.index 4292845681.index -594756272.index 3144547538.index -830761727.index diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.jdt.core/variablesAndContainers.dat b/eclipse-workspace/.metadata/.plugins/org.eclipse.jdt.core/variablesAndContainers.dat index d00bc81..8d6f6fe 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.jdt.core/variablesAndContainers.dat and b/eclipse-workspace/.metadata/.plugins/org.eclipse.jdt.core/variablesAndContainers.dat differ 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 baca94e..5e99687 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 -#Sun Oct 17 13:19:40 CEST 2021 +#Sun Oct 17 15:48:31 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 9f8dda7..1ba06a2 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/.contributors.1 b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.extensions/.contributors.1 index 7cf2ecb..511007f 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.extensions/.contributors.1 and b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.extensions/.contributors.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 ed802cd..066af14 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 0aadd28..786dcfa 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 00e3bd9..8d928be 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 -#Sun Oct 17 13:19:41 CEST 2021 +#Sun Oct 17 15:48:31 CEST 2021 .orphans=0 .mainData=0 .contributors=0 @@ -7,4 +7,4 @@ .extraData=0 .contributions=0 .table=0 -.crc38388d2d.v1 +.crc66c66e2b.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 8c7d34c..071c85e 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 -#Sun Oct 17 13:19:41 CEST 2021 +#Sun Oct 17 15:48:32 CEST 2021 .orphans=1 .mainData=1 .contributors=1 @@ -7,4 +7,4 @@ .extraData=1 .contributions=1 .table=1 -.crcf74ab716.v1 +.crcbc771527.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 b9b09f8..e35ac18 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/.orphans.1 b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.extensions/.orphans.1 index 6c0c671..defafaf 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.extensions/.orphans.1 and b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.extensions/.orphans.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 7da0fc2..0ac2985 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 fbf7796..1ac32eb 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 -#Sun Oct 17 13:13:56 CEST 2021 +#Sun Oct 17 15:29:34 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 de5dfaf..7aa1005 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 @@ # -#Sun Oct 17 13:13:56 CEST 2021 +#Sun Oct 17 15:29:34 CEST 2021 fr.n7.simplepdl.edit=bin fr.n7.simplepdl.txt.pdl.ide=bin fr.n7.simplepdl.toDOT=bin @@ -8,6 +8,7 @@ fr.n7.simplepdl.txt.pdl.ui=bin fr.n7.simplepdl.toHTML.ui=bin fr.n7.simplepdl.txt.pdl.tests=test-bin fr.n7.simplepdl.tests=bin +fr.n7.simplepdl.toLTL.ui=bin fr.n7.petrinet.toTINA.ui=bin fr.n7.simplepdl.txt.pdl=bin fr.n7.petrinet.toTINA=bin @@ -19,4 +20,5 @@ fr.n7.petrinet.tests=bin fr.n7.simplepdl.toDOT.ui=bin fr.n7.simplepdl.toHTML=bin fr.n7.petrinet.editor=bin +fr.n7.simplepdl.toLTL=bin fr.n7.simplepdl.editor=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 18e2053..dc57606 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/.contributors.1 b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.core.runtime/.contributors.1 index ce2dd88..c726b25 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.core.runtime/.contributors.1 and b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.core.runtime/.contributors.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 8c34179..b7937d2 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 f25df3d..85d52f0 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 6e9a06b..e6b4709 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 -#Sun Oct 17 13:19:00 CEST 2021 +#Sun Oct 17 15:48:19 CEST 2021 .orphans=0 .mainData=0 .contributors=0 @@ -7,4 +7,4 @@ .extraData=0 .contributions=0 .table=0 -.crcf8b8c156.v1 +.crc652f2f08.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 580303f..a5bdbcc 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 -#Sun Oct 17 13:19:00 CEST 2021 +#Sun Oct 17 15:48:19 CEST 2021 .orphans=1 .mainData=1 .contributors=1 @@ -7,4 +7,4 @@ .extraData=1 .contributions=1 .table=1 -.crc37cafb6d.v1 +.crcaa5d1533.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 97d97a6..a981a0a 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 ce1e20f..83b92eb 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 69d2f32..457727d 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.equinox.simpleconfigurator/bundles.info b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.equinox.simpleconfigurator/bundles.info index bccee7c..163b49f 100644 --- a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.equinox.simpleconfigurator/bundles.info +++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.equinox.simpleconfigurator/bundles.info @@ -21,6 +21,8 @@ fr.n7.simplepdl.toDOT,1.0.0.qualifier,file:/home/dguillot/2A/IDM/miniproj_idm/ec fr.n7.simplepdl.toDOT.ui,1.0.0.qualifier,file:/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/fr.n7.simplepdl.toDOT.ui/,4,false fr.n7.simplepdl.toHTML,1.0.0.qualifier,file:/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/fr.n7.simplepdl.toHTML/,4,false fr.n7.simplepdl.toHTML.ui,1.0.0.qualifier,file:/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/fr.n7.simplepdl.toHTML.ui/,4,false +fr.n7.simplepdl.toLTL,1.0.0.qualifier,file:/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/fr.n7.simplepdl.toLTL/,4,false +fr.n7.simplepdl.toLTL.ui,1.0.0.qualifier,file:/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/fr.n7.simplepdl.toLTL.ui/,4,false fr.n7.simplepdl.txt.pdl,1.0.0.qualifier,file:/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/fr.n7.simplepdl.txt.pdl/,4,false fr.n7.simplepdl.txt.pdl.ide,1.0.0.qualifier,file:/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/fr.n7.simplepdl.txt.pdl.ide/,4,false fr.n7.simplepdl.txt.pdl.tests,1.0.0.qualifier,file:/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/fr.n7.simplepdl.txt.pdl.tests/,4,false 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..b420083 --- /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 +#Sun Oct 17 15:30:05 CEST 2021 +framework.info=0 +.crc5c8a5c38.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 fe4a365..ae45434 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 -#Sun Oct 17 13:14:26 CEST 2021 +#Sun Oct 17 15:30:05 CEST 2021 framework.info=1 -.crc48e081ba.v1 +.crc45916d79.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 da8679f..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 -#Sun Oct 17 13:14:57 CEST 2021 -framework.info=2 -.crcb5e8a265.v1 diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/121/0/.cp/os/linux/x86_64/libunixfile_1_0_0.so b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/123/0/.cp/os/linux/x86_64/libunixfile_1_0_0.so similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/121/0/.cp/os/linux/x86_64/libunixfile_1_0_0.so rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/123/0/.cp/os/linux/x86_64/libunixfile_1_0_0.so diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/129/0/.cp/icons/full/dtool16/debug_exc.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/dtool16/debug_exc.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/129/0/.cp/icons/full/dtool16/debug_exc.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/dtool16/debug_exc.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/129/0/.cp/icons/full/dtool16/run_exc.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/dtool16/run_exc.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/129/0/.cp/icons/full/dtool16/run_exc.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/dtool16/run_exc.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/129/0/.cp/icons/full/elcl16/debuglast_co.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/elcl16/debuglast_co.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/129/0/.cp/icons/full/elcl16/debuglast_co.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/elcl16/debuglast_co.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/129/0/.cp/icons/full/elcl16/runlast_co.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/elcl16/runlast_co.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/129/0/.cp/icons/full/elcl16/runlast_co.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/elcl16/runlast_co.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/129/0/.cp/icons/full/etool16/debug_exc.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/etool16/debug_exc.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/129/0/.cp/icons/full/etool16/debug_exc.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/etool16/debug_exc.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/129/0/.cp/icons/full/etool16/run_exc.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/etool16/run_exc.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/129/0/.cp/icons/full/etool16/run_exc.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/etool16/run_exc.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/129/0/.cp/icons/full/etool16/watch_exp.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/etool16/watch_exp.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/129/0/.cp/icons/full/etool16/watch_exp.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/131/0/.cp/icons/full/etool16/watch_exp.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/159/0/.cp/icons/full/elcl16/view_menu.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/161/0/.cp/icons/full/elcl16/view_menu.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/159/0/.cp/icons/full/elcl16/view_menu.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/161/0/.cp/icons/full/elcl16/view_menu.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/159/0/.cp/icons/full/ovr16/pinned_ovr.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/161/0/.cp/icons/full/ovr16/pinned_ovr.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/159/0/.cp/icons/full/ovr16/pinned_ovr.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/161/0/.cp/icons/full/ovr16/pinned_ovr.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/elcl16/continue.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/elcl16/continue.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/elcl16/continue.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/elcl16/continue.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/elcl16/skip.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/elcl16/skip.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/elcl16/skip.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/elcl16/skip.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/etool16/annotate.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/etool16/annotate.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/etool16/annotate.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/etool16/annotate.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/eview16/repo_rep.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/eview16/repo_rep.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/eview16/repo_rep.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/eview16/repo_rep.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/add.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/add.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/add.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/add.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/assume_unchanged.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/assume_unchanged.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/assume_unchanged.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/assume_unchanged.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/branches_obj.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/branches_obj.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/branches_obj.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/branches_obj.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/changelog_obj.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/changelog_obj.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/changelog_obj.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/changelog_obj.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/clean_obj.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/clean_obj.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/clean_obj.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/clean_obj.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/commit.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/commit.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/commit.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/commit.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/delete_obj.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/delete_obj.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/delete_obj.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/delete_obj.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/disconnect_co.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/disconnect_co.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/disconnect_co.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/disconnect_co.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/editconfig.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/editconfig.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/editconfig.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/editconfig.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/fetch.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/fetch.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/fetch.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/fetch.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/gerrit_fetch.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/gerrit_fetch.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/gerrit_fetch.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/gerrit_fetch.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/history.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/history.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/history.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/history.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/ignore.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/ignore.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/ignore.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/ignore.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/merge.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/merge.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/merge.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/merge.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/mergetool.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/mergetool.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/mergetool.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/mergetool.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/new_tag_obj.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/new_tag_obj.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/new_tag_obj.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/new_tag_obj.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/no_assume_unchanged.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/no_assume_unchanged.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/no_assume_unchanged.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/no_assume_unchanged.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/pull.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/pull.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/pull.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/pull.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/pull_with_options.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/pull_with_options.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/pull_with_options.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/pull_with_options.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/push.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/push.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/push.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/push.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/rebase.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/rebase.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/rebase.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/rebase.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/reset.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/reset.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/reset.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/reset.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/stash.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/stash.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/stash.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/stash.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/synchronize.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/synchronize.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/synchronize.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/synchronize.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/unstage.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/unstage.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/unstage.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/unstage.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/untrack.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/untrack.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/183/0/.cp/icons/obj16/untrack.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/185/0/.cp/icons/obj16/untrack.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/195/0/.cp/icons/checkin.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/197/0/.cp/icons/checkin.gif similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/195/0/.cp/icons/checkin.gif rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/197/0/.cp/icons/checkin.gif diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/195/0/.cp/icons/checkout.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/197/0/.cp/icons/checkout.gif similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/195/0/.cp/icons/checkout.gif rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/197/0/.cp/icons/checkout.gif diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/195/0/.cp/icons/checkout_closed.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/197/0/.cp/icons/checkout_closed.gif similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/195/0/.cp/icons/checkout_closed.gif rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/197/0/.cp/icons/checkout_closed.gif diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/195/0/.cp/icons/connect.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/197/0/.cp/icons/connect.gif similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/195/0/.cp/icons/connect.gif rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/197/0/.cp/icons/connect.gif diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/195/0/.cp/icons/delete.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/197/0/.cp/icons/delete.gif similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/195/0/.cp/icons/delete.gif rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/197/0/.cp/icons/delete.gif diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/195/0/.cp/icons/disconnect.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/197/0/.cp/icons/disconnect.gif similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/195/0/.cp/icons/disconnect.gif rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/197/0/.cp/icons/disconnect.gif diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/195/0/.cp/icons/duplicate.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/197/0/.cp/icons/duplicate.gif similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/195/0/.cp/icons/duplicate.gif rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/197/0/.cp/icons/duplicate.gif diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/195/0/.cp/icons/rename.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/197/0/.cp/icons/rename.gif similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/195/0/.cp/icons/rename.gif rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/197/0/.cp/icons/rename.gif diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/195/0/.cp/icons/revert.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/197/0/.cp/icons/revert.gif similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/195/0/.cp/icons/revert.gif rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/197/0/.cp/icons/revert.gif diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/195/0/.cp/icons/update.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/197/0/.cp/icons/update.gif similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/195/0/.cp/icons/update.gif rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/197/0/.cp/icons/update.gif diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/204/0/.cp/icons/full/ctool16/ManageSecurity.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/206/0/.cp/icons/full/ctool16/ManageSecurity.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/204/0/.cp/icons/full/ctool16/ManageSecurity.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/206/0/.cp/icons/full/ctool16/ManageSecurity.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/217/0/.cp/icons/full/elcl16/lock.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/219/0/.cp/icons/full/elcl16/lock.gif similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/217/0/.cp/icons/full/elcl16/lock.gif rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/219/0/.cp/icons/full/elcl16/lock.gif diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/217/0/.cp/icons/full/elcl16/unlock.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/219/0/.cp/icons/full/elcl16/unlock.gif similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/217/0/.cp/icons/full/elcl16/unlock.gif rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/219/0/.cp/icons/full/elcl16/unlock.gif diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/220/0/.cp/icons/full/ovr16/lock.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/222/0/.cp/icons/full/ovr16/lock.gif similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/220/0/.cp/icons/full/ovr16/lock.gif rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/222/0/.cp/icons/full/ovr16/lock.gif diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/220/0/.cp/icons/full/ovr16/lock_self.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/222/0/.cp/icons/full/ovr16/lock_self.gif similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/220/0/.cp/icons/full/ovr16/lock_self.gif rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/222/0/.cp/icons/full/ovr16/lock_self.gif diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/256/0/.cp/icons/eview16/eclass_hi_nav.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/258/0/.cp/icons/eview16/eclass_hi_nav.gif similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/256/0/.cp/icons/eview16/eclass_hi_nav.gif rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/258/0/.cp/icons/eview16/eclass_hi_nav.gif diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/256/0/.cp/icons/eview16/eref_nav.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/258/0/.cp/icons/eview16/eref_nav.gif similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/256/0/.cp/icons/eview16/eref_nav.gif rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/258/0/.cp/icons/eview16/eref_nav.gif diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/271/0/.cp/icons/full/obj16/ModelFile.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/271/0/.cp/icons/full/obj16/ModelFile.gif deleted file mode 100644 index 27c7cbb..0000000 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/271/0/.cp/icons/full/obj16/ModelFile.gif and /dev/null differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/273/0/.cp/icons/full/obj16/GenericValue.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/273/0/.cp/icons/full/obj16/GenericValue.gif new file mode 100644 index 0000000..7ef81e5 Binary files /dev/null and b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/273/0/.cp/icons/full/obj16/GenericValue.gif differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/273/0/.cp/icons/full/obj16/ResourceSet.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/273/0/.cp/icons/full/obj16/ResourceSet.gif new file mode 100644 index 0000000..2e4de3d Binary files /dev/null and b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/273/0/.cp/icons/full/obj16/ResourceSet.gif differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/274/0/.cp/icons/full/dlcl16/LocateValue.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/274/0/.cp/icons/full/dlcl16/LocateValue.gif new file mode 100644 index 0000000..4dfefda Binary files /dev/null and b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/274/0/.cp/icons/full/dlcl16/LocateValue.gif differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/274/0/.cp/icons/full/dlcl16/SetProperty.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/274/0/.cp/icons/full/dlcl16/SetProperty.png new file mode 100644 index 0000000..0c4f2a3 Binary files /dev/null and b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/274/0/.cp/icons/full/dlcl16/SetProperty.png differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/274/0/.cp/icons/full/elcl16/LocateValue.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/274/0/.cp/icons/full/elcl16/LocateValue.gif new file mode 100644 index 0000000..7ab849f Binary files /dev/null and b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/274/0/.cp/icons/full/elcl16/LocateValue.gif differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/274/0/.cp/icons/full/elcl16/SetProperty.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/274/0/.cp/icons/full/elcl16/SetProperty.png new file mode 100644 index 0000000..86551ca Binary files /dev/null and b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/274/0/.cp/icons/full/elcl16/SetProperty.png differ diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/384/0/.cp/icons/obj/iu_obj.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/386/0/.cp/icons/obj/iu_obj.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/384/0/.cp/icons/obj/iu_obj.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/386/0/.cp/icons/obj/iu_obj.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/384/0/.cp/icons/obj/iu_update_obj.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/386/0/.cp/icons/obj/iu_update_obj.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/384/0/.cp/icons/obj/iu_update_obj.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/386/0/.cp/icons/obj/iu_update_obj.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/456/0/.cp/lib/java14api.jar b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/458/0/.cp/lib/java14api.jar similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/456/0/.cp/lib/java14api.jar rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/458/0/.cp/lib/java14api.jar diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/470/0/.cp/dictionaries/en_GB.dictionary b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/472/0/.cp/dictionaries/en_GB.dictionary similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/470/0/.cp/dictionaries/en_GB.dictionary rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/472/0/.cp/dictionaries/en_GB.dictionary diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/470/0/.cp/dictionaries/en_US.dictionary b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/472/0/.cp/dictionaries/en_US.dictionary similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/470/0/.cp/dictionaries/en_US.dictionary rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/472/0/.cp/dictionaries/en_US.dictionary diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/478/0/.cp/icons/full/message_info.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/480/0/.cp/icons/full/message_info.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/478/0/.cp/icons/full/message_info.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/480/0/.cp/icons/full/message_info.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/478/0/.cp/org/eclipse/jface/action/images/stop.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/480/0/.cp/org/eclipse/jface/action/images/stop.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/478/0/.cp/org/eclipse/jface/action/images/stop.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/480/0/.cp/org/eclipse/jface/action/images/stop.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/478/0/.cp/org/eclipse/jface/wizard/images/stop.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/480/0/.cp/org/eclipse/jface/wizard/images/stop.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/478/0/.cp/org/eclipse/jface/wizard/images/stop.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/480/0/.cp/org/eclipse/jface/wizard/images/stop.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/490/0/.cp/icons/full/obj16/info_obj.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/492/0/.cp/icons/full/obj16/info_obj.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/490/0/.cp/icons/full/obj16/info_obj.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/492/0/.cp/icons/full/obj16/info_obj.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/495/0/.cp/icons/atl_logo.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/497/0/.cp/icons/atl_logo.gif similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/495/0/.cp/icons/atl_logo.gif rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/497/0/.cp/icons/atl_logo.gif diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/495/0/.cp/icons/new_atl_plugin.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/497/0/.cp/icons/new_atl_plugin.gif similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/495/0/.cp/icons/new_atl_plugin.gif rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/497/0/.cp/icons/new_atl_plugin.gif diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/495/0/.cp/icons/new_atl_project.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/497/0/.cp/icons/new_atl_project.gif similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/495/0/.cp/icons/new_atl_project.gif rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/497/0/.cp/icons/new_atl_project.gif diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/602/0/.cp/icons/obj16/repository.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/604/0/.cp/icons/obj16/repository.gif similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/602/0/.cp/icons/obj16/repository.gif rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/604/0/.cp/icons/obj16/repository.gif diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/602/0/.cp/icons/tool16/search_repository.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/604/0/.cp/icons/tool16/search_repository.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/602/0/.cp/icons/tool16/search_repository.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/604/0/.cp/icons/tool16/search_repository.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/602/0/.cp/icons/tool16/search_requirement.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/604/0/.cp/icons/tool16/search_requirement.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/602/0/.cp/icons/tool16/search_requirement.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/604/0/.cp/icons/tool16/search_requirement.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/612/0/.cp/icons/BrowseType.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/614/0/.cp/icons/BrowseType.gif similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/612/0/.cp/icons/BrowseType.gif rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/614/0/.cp/icons/BrowseType.gif diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/612/0/.cp/icons/Log.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/614/0/.cp/icons/Log.gif similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/612/0/.cp/icons/Log.gif rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/614/0/.cp/icons/Log.gif diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/612/0/.cp/icons/full/obj16/SetupModelFile.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/614/0/.cp/icons/full/obj16/SetupModelFile.gif similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/612/0/.cp/icons/full/obj16/SetupModelFile.gif rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/614/0/.cp/icons/full/obj16/SetupModelFile.gif diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/612/0/.cp/icons/heart.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/614/0/.cp/icons/heart.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/612/0/.cp/icons/heart.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/614/0/.cp/icons/heart.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/612/0/.cp/icons/update_gear.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/614/0/.cp/icons/update_gear.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/612/0/.cp/icons/update_gear.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/614/0/.cp/icons/update_gear.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/628/0/.cp/icons/full/obj16/eclipse16.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/630/0/.cp/icons/full/obj16/eclipse16.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/628/0/.cp/icons/full/obj16/eclipse16.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/630/0/.cp/icons/full/obj16/eclipse16.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/643/0/.cp/icons/etool16/imp_extplug.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/645/0/.cp/icons/etool16/imp_extplug.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/643/0/.cp/icons/etool16/imp_extplug.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/645/0/.cp/icons/etool16/imp_extplug.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/643/0/.cp/icons/obj16/open_artifact_obj.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/645/0/.cp/icons/obj16/open_artifact_obj.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/643/0/.cp/icons/obj16/open_artifact_obj.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/645/0/.cp/icons/obj16/open_artifact_obj.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/650/0/.cp/icons/full/elcl16/tsearch_obj.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/652/0/.cp/icons/full/elcl16/tsearch_obj.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/650/0/.cp/icons/full/elcl16/tsearch_obj.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/652/0/.cp/icons/full/elcl16/tsearch_obj.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/650/0/.cp/icons/full/etool16/search.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/652/0/.cp/icons/full/etool16/search.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/650/0/.cp/icons/full/etool16/search.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/652/0/.cp/icons/full/etool16/search.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/669/0/.cp/icons/full/obj16/Sirius.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/671/0/.cp/icons/full/obj16/Sirius.gif similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/669/0/.cp/icons/full/obj16/Sirius.gif rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/671/0/.cp/icons/full/obj16/Sirius.gif diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/669/0/.cp/icons/full/obj16/reload_vsm.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/671/0/.cp/icons/full/obj16/reload_vsm.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/669/0/.cp/icons/full/obj16/reload_vsm.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/671/0/.cp/icons/full/obj16/reload_vsm.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/705/0/.cp/icons/close.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/707/0/.cp/icons/close.gif similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/705/0/.cp/icons/close.gif rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/707/0/.cp/icons/close.gif diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/706/0/.cp/icons/obj16/ModelingProject.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/708/0/.cp/icons/obj16/ModelingProject.gif similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/706/0/.cp/icons/obj16/ModelingProject.gif rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/708/0/.cp/icons/obj16/ModelingProject.gif diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/706/0/.cp/icons/obj16/SiriusFile.gif b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/708/0/.cp/icons/obj16/SiriusFile.gif similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/706/0/.cp/icons/obj16/SiriusFile.gif rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/708/0/.cp/icons/obj16/SiriusFile.gif diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/711/0/.cp/libswt-atk-gtk-4936r26.so b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/713/0/.cp/libswt-atk-gtk-4936r26.so similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/711/0/.cp/libswt-atk-gtk-4936r26.so rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/713/0/.cp/libswt-atk-gtk-4936r26.so diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/711/0/.cp/libswt-cairo-gtk-4936r26.so b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/713/0/.cp/libswt-cairo-gtk-4936r26.so similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/711/0/.cp/libswt-cairo-gtk-4936r26.so rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/713/0/.cp/libswt-cairo-gtk-4936r26.so diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/711/0/.cp/libswt-gtk-4936r26.so b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/713/0/.cp/libswt-gtk-4936r26.so similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/711/0/.cp/libswt-gtk-4936r26.so rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/713/0/.cp/libswt-gtk-4936r26.so diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/711/0/.cp/libswt-pi3-gtk-4936r26.so b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/713/0/.cp/libswt-pi3-gtk-4936r26.so similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/711/0/.cp/libswt-pi3-gtk-4936r26.so rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/713/0/.cp/libswt-pi3-gtk-4936r26.so diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/dlcl16/backward_nav.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/dlcl16/backward_nav.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/dlcl16/backward_nav.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/dlcl16/backward_nav.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/dlcl16/forward_nav.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/dlcl16/forward_nav.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/dlcl16/forward_nav.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/dlcl16/forward_nav.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/dtool16/new_wiz.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/dtool16/new_wiz.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/dtool16/new_wiz.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/dtool16/new_wiz.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/dtool16/pin_editor.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/dtool16/pin_editor.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/dtool16/pin_editor.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/dtool16/pin_editor.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/dtool16/save_edit.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/dtool16/save_edit.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/dtool16/save_edit.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/dtool16/save_edit.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/dtool16/saveall_edit.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/dtool16/saveall_edit.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/dtool16/saveall_edit.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/dtool16/saveall_edit.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/elcl16/backward_nav.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/elcl16/backward_nav.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/elcl16/backward_nav.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/elcl16/backward_nav.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/elcl16/forward_nav.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/elcl16/forward_nav.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/elcl16/forward_nav.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/elcl16/forward_nav.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/elcl16/refresh_nav.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/elcl16/refresh_nav.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/elcl16/refresh_nav.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/elcl16/refresh_nav.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/etool16/copy_edit.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/etool16/copy_edit.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/etool16/copy_edit.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/etool16/copy_edit.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/etool16/cut_edit.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/etool16/cut_edit.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/etool16/cut_edit.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/etool16/cut_edit.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/etool16/delete_edit.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/etool16/delete_edit.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/etool16/delete_edit.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/etool16/delete_edit.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/etool16/export_wiz.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/etool16/export_wiz.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/etool16/export_wiz.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/etool16/export_wiz.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/etool16/help_contents.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/etool16/help_contents.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/etool16/help_contents.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/etool16/help_contents.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/etool16/help_search.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/etool16/help_search.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/etool16/help_search.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/etool16/help_search.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/etool16/import_wiz.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/etool16/import_wiz.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/etool16/import_wiz.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/etool16/import_wiz.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/etool16/new_wiz.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/etool16/new_wiz.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/etool16/new_wiz.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/etool16/new_wiz.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/etool16/paste_edit.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/etool16/paste_edit.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/etool16/paste_edit.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/etool16/paste_edit.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/etool16/pin_editor.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/etool16/pin_editor.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/etool16/pin_editor.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/etool16/pin_editor.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/etool16/print_edit.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/etool16/print_edit.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/etool16/print_edit.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/etool16/print_edit.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/etool16/redo_edit.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/etool16/redo_edit.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/etool16/redo_edit.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/etool16/redo_edit.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/etool16/save_edit.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/etool16/save_edit.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/etool16/save_edit.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/etool16/save_edit.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/etool16/saveall_edit.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/etool16/saveall_edit.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/etool16/saveall_edit.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/etool16/saveall_edit.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/etool16/saveas_edit.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/etool16/saveas_edit.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/etool16/saveas_edit.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/etool16/saveas_edit.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/etool16/search.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/etool16/search.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/etool16/search.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/etool16/search.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/etool16/tricks.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/etool16/tricks.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/etool16/tricks.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/etool16/tricks.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/etool16/undo_edit.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/etool16/undo_edit.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/etool16/undo_edit.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/etool16/undo_edit.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/eview16/new_persp.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/eview16/new_persp.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/eview16/new_persp.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/eview16/new_persp.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/obj16/file_obj.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/obj16/file_obj.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/obj16/file_obj.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/obj16/file_obj.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/obj16/fldr_obj.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/obj16/fldr_obj.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/obj16/fldr_obj.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/obj16/fldr_obj.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/obj16/workingsets.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/obj16/workingsets.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/obj16/workingsets.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/obj16/workingsets.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/progress/progress_error.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/progress/progress_error.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/progress/progress_error.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/progress/progress_error.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/progress/progress_none.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/progress/progress_none.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/progress/progress_none.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/progress/progress_none.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/progress/progress_ok.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/progress/progress_ok.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/718/0/.cp/icons/full/progress/progress_ok.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/720/0/.cp/icons/full/progress/progress_ok.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/721/0/.cp/icons/full/cview16/console_view.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/723/0/.cp/icons/full/cview16/console_view.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/721/0/.cp/icons/full/cview16/console_view.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/723/0/.cp/icons/full/cview16/console_view.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/722/0/.cp/icons/full/dtool16/last_edit_pos.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/724/0/.cp/icons/full/dtool16/last_edit_pos.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/722/0/.cp/icons/full/dtool16/last_edit_pos.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/724/0/.cp/icons/full/dtool16/last_edit_pos.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/722/0/.cp/icons/full/dtool16/next_edit_pos.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/724/0/.cp/icons/full/dtool16/next_edit_pos.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/722/0/.cp/icons/full/dtool16/next_edit_pos.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/724/0/.cp/icons/full/dtool16/next_edit_pos.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/722/0/.cp/icons/full/dtool16/next_nav.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/724/0/.cp/icons/full/dtool16/next_nav.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/722/0/.cp/icons/full/dtool16/next_nav.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/724/0/.cp/icons/full/dtool16/next_nav.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/722/0/.cp/icons/full/dtool16/prev_nav.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/724/0/.cp/icons/full/dtool16/prev_nav.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/722/0/.cp/icons/full/dtool16/prev_nav.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/724/0/.cp/icons/full/dtool16/prev_nav.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/722/0/.cp/icons/full/etool16/last_edit_pos.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/724/0/.cp/icons/full/etool16/last_edit_pos.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/722/0/.cp/icons/full/etool16/last_edit_pos.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/724/0/.cp/icons/full/etool16/last_edit_pos.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/722/0/.cp/icons/full/etool16/next_edit_pos.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/724/0/.cp/icons/full/etool16/next_edit_pos.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/722/0/.cp/icons/full/etool16/next_edit_pos.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/724/0/.cp/icons/full/etool16/next_edit_pos.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/722/0/.cp/icons/full/etool16/next_nav.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/724/0/.cp/icons/full/etool16/next_nav.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/722/0/.cp/icons/full/etool16/next_nav.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/724/0/.cp/icons/full/etool16/next_nav.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/722/0/.cp/icons/full/etool16/prev_nav.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/724/0/.cp/icons/full/etool16/prev_nav.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/722/0/.cp/icons/full/etool16/prev_nav.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/724/0/.cp/icons/full/etool16/prev_nav.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/722/0/.cp/icons/full/obj16/file_obj.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/724/0/.cp/icons/full/obj16/file_obj.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/722/0/.cp/icons/full/obj16/file_obj.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/724/0/.cp/icons/full/obj16/file_obj.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/723/0/.cp/icons/full/obj16/external_tools.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/725/0/.cp/icons/full/obj16/external_tools.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/723/0/.cp/icons/full/obj16/external_tools.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/725/0/.cp/icons/full/obj16/external_tools.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/726/0/.cp/icons/full/elcl16/gotoobj_tsk.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/elcl16/gotoobj_tsk.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/726/0/.cp/icons/full/elcl16/gotoobj_tsk.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/elcl16/gotoobj_tsk.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/726/0/.cp/icons/full/elcl16/refresh_nav.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/elcl16/refresh_nav.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/726/0/.cp/icons/full/elcl16/refresh_nav.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/elcl16/refresh_nav.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/726/0/.cp/icons/full/etool16/importdir_wiz.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/etool16/importdir_wiz.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/726/0/.cp/icons/full/etool16/importdir_wiz.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/etool16/importdir_wiz.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/726/0/.cp/icons/full/etool16/newfile_wiz.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/etool16/newfile_wiz.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/726/0/.cp/icons/full/etool16/newfile_wiz.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/etool16/newfile_wiz.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/726/0/.cp/icons/full/etool16/newfolder_wiz.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/etool16/newfolder_wiz.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/726/0/.cp/icons/full/etool16/newfolder_wiz.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/etool16/newfolder_wiz.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/726/0/.cp/icons/full/etool16/next_nav.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/etool16/next_nav.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/726/0/.cp/icons/full/etool16/next_nav.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/etool16/next_nav.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/726/0/.cp/icons/full/etool16/prev_nav.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/etool16/prev_nav.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/726/0/.cp/icons/full/etool16/prev_nav.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/etool16/prev_nav.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/726/0/.cp/icons/full/eview16/problems_view.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.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/726/0/.cp/icons/full/eview16/problems_view.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/eview16/problems_view.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/726/0/.cp/icons/full/obj16/prj_obj.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/obj16/prj_obj.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/726/0/.cp/icons/full/obj16/prj_obj.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/728/0/.cp/icons/full/obj16/prj_obj.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/727/0/.cp/icons/full/eview16/resource_persp.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/729/0/.cp/icons/full/eview16/resource_persp.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/727/0/.cp/icons/full/eview16/resource_persp.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/729/0/.cp/icons/full/eview16/resource_persp.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/730/0/.cp/icons/welcome16.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/732/0/.cp/icons/welcome16.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/730/0/.cp/icons/welcome16.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/732/0/.cp/icons/welcome16.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/733/0/.cp/icons/full/elcl16/collapseall.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/735/0/.cp/icons/full/elcl16/collapseall.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/733/0/.cp/icons/full/elcl16/collapseall.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/735/0/.cp/icons/full/elcl16/collapseall.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/733/0/.cp/icons/full/elcl16/filter_ps.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/735/0/.cp/icons/full/elcl16/filter_ps.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/733/0/.cp/icons/full/elcl16/filter_ps.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/735/0/.cp/icons/full/elcl16/filter_ps.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/733/0/.cp/icons/full/elcl16/synced.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/735/0/.cp/icons/full/elcl16/synced.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/733/0/.cp/icons/full/elcl16/synced.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/735/0/.cp/icons/full/elcl16/synced.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/733/0/.cp/icons/full/eview16/resource_persp.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/735/0/.cp/icons/full/eview16/resource_persp.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/733/0/.cp/icons/full/eview16/resource_persp.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/735/0/.cp/icons/full/eview16/resource_persp.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/737/0/.cp/icons/full/dlcl16/defaults_ps.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/739/0/.cp/icons/full/dlcl16/defaults_ps.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/737/0/.cp/icons/full/dlcl16/defaults_ps.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/739/0/.cp/icons/full/dlcl16/defaults_ps.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/737/0/.cp/icons/full/elcl16/defaults_ps.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/739/0/.cp/icons/full/elcl16/defaults_ps.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/737/0/.cp/icons/full/elcl16/defaults_ps.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/739/0/.cp/icons/full/elcl16/defaults_ps.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/737/0/.cp/icons/full/elcl16/filter_ps.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/739/0/.cp/icons/full/elcl16/filter_ps.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/737/0/.cp/icons/full/elcl16/filter_ps.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/739/0/.cp/icons/full/elcl16/filter_ps.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/737/0/.cp/icons/full/elcl16/new.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/739/0/.cp/icons/full/elcl16/new.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/737/0/.cp/icons/full/elcl16/new.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/739/0/.cp/icons/full/elcl16/new.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/737/0/.cp/icons/full/elcl16/tree_mode.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/739/0/.cp/icons/full/elcl16/tree_mode.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/737/0/.cp/icons/full/elcl16/tree_mode.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/739/0/.cp/icons/full/elcl16/tree_mode.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/737/0/.cp/icons/full/eview16/outline_co.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/739/0/.cp/icons/full/eview16/outline_co.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/737/0/.cp/icons/full/eview16/outline_co.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/739/0/.cp/icons/full/eview16/outline_co.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/737/0/.cp/icons/full/eview16/prop_ps.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/739/0/.cp/icons/full/eview16/prop_ps.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/737/0/.cp/icons/full/eview16/prop_ps.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/739/0/.cp/icons/full/eview16/prop_ps.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/738/0/.cp/icons/eview16/error_log.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/740/0/.cp/icons/eview16/error_log.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/738/0/.cp/icons/eview16/error_log.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/740/0/.cp/icons/eview16/error_log.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/741/0/.cp/icons/full/dtool16/block_selection_mode.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/743/0/.cp/icons/full/dtool16/block_selection_mode.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/741/0/.cp/icons/full/dtool16/block_selection_mode.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/743/0/.cp/icons/full/dtool16/block_selection_mode.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/741/0/.cp/icons/full/dtool16/show_whitespace_chars.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/743/0/.cp/icons/full/dtool16/show_whitespace_chars.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/741/0/.cp/icons/full/dtool16/show_whitespace_chars.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/743/0/.cp/icons/full/dtool16/show_whitespace_chars.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/741/0/.cp/icons/full/dtool16/wordwrap.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/743/0/.cp/icons/full/dtool16/wordwrap.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/741/0/.cp/icons/full/dtool16/wordwrap.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/743/0/.cp/icons/full/dtool16/wordwrap.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/741/0/.cp/icons/full/etool16/block_selection_mode.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/743/0/.cp/icons/full/etool16/block_selection_mode.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/741/0/.cp/icons/full/etool16/block_selection_mode.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/743/0/.cp/icons/full/etool16/block_selection_mode.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/741/0/.cp/icons/full/etool16/show_whitespace_chars.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/743/0/.cp/icons/full/etool16/show_whitespace_chars.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/741/0/.cp/icons/full/etool16/show_whitespace_chars.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/743/0/.cp/icons/full/etool16/show_whitespace_chars.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/741/0/.cp/icons/full/etool16/wordwrap.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/743/0/.cp/icons/full/etool16/wordwrap.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/741/0/.cp/icons/full/etool16/wordwrap.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/743/0/.cp/icons/full/etool16/wordwrap.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/764/0/.cp/icons/UserAccount.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/766/0/.cp/icons/UserAccount.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/764/0/.cp/icons/UserAccount.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/766/0/.cp/icons/UserAccount.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/782/0/.cp/icons/Xtend-Icon-16w.png b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/784/0/.cp/icons/Xtend-Icon-16w.png similarity index 100% rename from eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/782/0/.cp/icons/Xtend-Icon-16w.png rename to eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/784/0/.cp/icons/Xtend-Icon-16w.png diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/framework.info.1 b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/framework.info.1 new file mode 100644 index 0000000..c5a75be Binary files /dev/null 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.osgi/framework.info.2 b/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/framework.info.2 deleted file mode 100644 index 731fbfd..0000000 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/framework.info.2 and /dev/null 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 1f1345a..d61a110 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 9505255..0fb1a7e 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: 1634463758146 +# List of external plug-in models previously loaded. Timestamp: 1634477114197 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 @@ -6,6 +6,14 @@ file:/mnt/n7fs/ens/tp_cregut/eclipse-gls-2020-09/plugins/com.jcraft.jsch_0.1.55. file:/mnt/n7fs/ens/tp_cregut/eclipse-gls-2020-09/plugins/com.sun.el_2.2.0.v201303151357.jar file:/mnt/n7fs/ens/tp_cregut/eclipse-gls-2020-09/plugins/com.sun.jna_4.5.1.v20190425-1842.jar file:/mnt/n7fs/ens/tp_cregut/eclipse-gls-2020-09/plugins/com.sun.jna.platform_4.5.1.v20190425-1842.jar +file:/home/lfainsin/.eclipse/org.eclipse.platform_4.17.0_630142970_linux_gtk_x86_64/plugins/fr.n7.petrinet_1.0.0.202110161636.jar +file:/home/lfainsin/.eclipse/org.eclipse.platform_4.17.0_630142970_linux_gtk_x86_64/plugins/fr.n7.petrinet.edit_1.0.0.202110161636.jar +file:/home/lfainsin/.eclipse/org.eclipse.platform_4.17.0_630142970_linux_gtk_x86_64/plugins/fr.n7.petrinet.editor_1.0.0.202110161636.jar +file:/home/lfainsin/.eclipse/org.eclipse.platform_4.17.0_630142970_linux_gtk_x86_64/plugins/fr.n7.petrinet.tests_1.0.0.202110161636.jar +file:/home/lfainsin/.eclipse/org.eclipse.platform_4.17.0_630142970_linux_gtk_x86_64/plugins/fr.n7.simplepdl_1.0.0.202110161636.jar +file:/home/lfainsin/.eclipse/org.eclipse.platform_4.17.0_630142970_linux_gtk_x86_64/plugins/fr.n7.simplepdl.edit_1.0.0.202110161636.jar +file:/home/lfainsin/.eclipse/org.eclipse.platform_4.17.0_630142970_linux_gtk_x86_64/plugins/fr.n7.simplepdl.editor_1.0.0.202110161636.jar +file:/home/lfainsin/.eclipse/org.eclipse.platform_4.17.0_630142970_linux_gtk_x86_64/plugins/fr.n7.simplepdl.tests_1.0.0.202110161636.jar file:/mnt/n7fs/ens/tp_cregut/eclipse-gls-2020-09/plugins/io.github.classgraph_4.8.35.v20190528-1517.jar file:/home/lfainsin/.eclipse/org.eclipse.platform_4.17.0_630142970_linux_gtk_x86_64/plugins/javaewah_1.1.12.v20210622-2206.jar file:/mnt/n7fs/ens/tp_cregut/eclipse-gls-2020-09/plugins/javax.annotation_1.3.5.v20200504-1837.jar diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.ui.workbench/dialog_settings.xml b/eclipse-workspace/.metadata/.plugins/org.eclipse.ui.workbench/dialog_settings.xml index fedb807..e0e2a96 100644 --- a/eclipse-workspace/.metadata/.plugins/org.eclipse.ui.workbench/dialog_settings.xml +++ b/eclipse-workspace/.metadata/.plugins/org.eclipse.ui.workbench/dialog_settings.xml @@ -27,11 +27,9 @@
- + - - - +
diff --git a/eclipse-workspace/.metadata/.plugins/org.eclipse.xtext.builder/builder.state b/eclipse-workspace/.metadata/.plugins/org.eclipse.xtext.builder/builder.state index 7ce6b23..9e780e8 100644 Binary files a/eclipse-workspace/.metadata/.plugins/org.eclipse.xtext.builder/builder.state and b/eclipse-workspace/.metadata/.plugins/org.eclipse.xtext.builder/builder.state differ diff --git a/eclipse-workspace/.metadata/version.ini b/eclipse-workspace/.metadata/version.ini index 7b85299..6e4c591 100644 --- a/eclipse-workspace/.metadata/version.ini +++ b/eclipse-workspace/.metadata/version.ini @@ -1,3 +1,3 @@ -#Sun Oct 17 11:42:29 CEST 2021 +#Sun Oct 17 15:25:10 CEST 2021 org.eclipse.core.runtime=2 org.eclipse.platform=4.17.0.v20200902-1800 diff --git a/eclipse-workspace/fr.n7.simplepdl.toLTL.ui/.classpath b/eclipse-workspace/fr.n7.simplepdl.toLTL.ui/.classpath new file mode 100644 index 0000000..64c5e31 --- /dev/null +++ b/eclipse-workspace/fr.n7.simplepdl.toLTL.ui/.classpath @@ -0,0 +1,7 @@ + + + + + + + diff --git a/eclipse-workspace/fr.n7.simplepdl.toLTL.ui/.project b/eclipse-workspace/fr.n7.simplepdl.toLTL.ui/.project new file mode 100644 index 0000000..4972f85 --- /dev/null +++ b/eclipse-workspace/fr.n7.simplepdl.toLTL.ui/.project @@ -0,0 +1,28 @@ + + + fr.n7.simplepdl.toLTL.ui + + + + + + org.eclipse.jdt.core.javabuilder + + + + + org.eclipse.pde.ManifestBuilder + + + + + org.eclipse.pde.SchemaBuilder + + + + + + org.eclipse.pde.PluginNature + org.eclipse.jdt.core.javanature + + diff --git a/eclipse-workspace/fr.n7.simplepdl.toLTL.ui/.settings/org.eclipse.jdt.core.prefs b/eclipse-workspace/fr.n7.simplepdl.toLTL.ui/.settings/org.eclipse.jdt.core.prefs new file mode 100644 index 0000000..d1c0bf9 --- /dev/null +++ b/eclipse-workspace/fr.n7.simplepdl.toLTL.ui/.settings/org.eclipse.jdt.core.prefs @@ -0,0 +1,6 @@ +eclipse.preferences.version=1 +org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5 +org.eclipse.jdt.core.compiler.compliance=1.5 +org.eclipse.jdt.core.compiler.problem.assertIdentifier=error +org.eclipse.jdt.core.compiler.problem.enumIdentifier=error +org.eclipse.jdt.core.compiler.source=1.5 diff --git a/eclipse-workspace/fr.n7.simplepdl.toLTL.ui/META-INF/MANIFEST.MF b/eclipse-workspace/fr.n7.simplepdl.toLTL.ui/META-INF/MANIFEST.MF new file mode 100644 index 0000000..3b6a844 --- /dev/null +++ b/eclipse-workspace/fr.n7.simplepdl.toLTL.ui/META-INF/MANIFEST.MF @@ -0,0 +1,20 @@ +Manifest-Version: 1.0 +Bundle-ManifestVersion: 2 +Bundle-Name: Acceleo ToLTL Module IDE Plug-in +Bundle-SymbolicName: fr.n7.simplepdl.toLTL.ui;singleton:=true +Bundle-Version: 1.0.0.qualifier +Bundle-Activator: fr.n7.simplepdl.toLTL.ui.Activator +Bundle-Vendor: Eclipse Modeling Project +Require-Bundle: org.eclipse.ui, + org.eclipse.core.runtime, + org.eclipse.core.resources, + fr.n7.simplepdl.toLTL, + org.eclipse.emf.ecore, + org.eclipse.emf.ecore.xmi, + org.eclipse.ocl, + org.eclipse.ocl.ecore, + org.eclipse.acceleo.model, + org.eclipse.acceleo.engine +Bundle-RequiredExecutionEnvironment: J2SE-1.5 +Bundle-ActivationPolicy: lazy +Eclipse-LazyStart: true diff --git a/eclipse-workspace/fr.n7.simplepdl.toLTL.ui/build.properties b/eclipse-workspace/fr.n7.simplepdl.toLTL.ui/build.properties new file mode 100644 index 0000000..d0a0e71 --- /dev/null +++ b/eclipse-workspace/fr.n7.simplepdl.toLTL.ui/build.properties @@ -0,0 +1,7 @@ +source.. = src/ +output.. = bin/ +bin.includes = META-INF/,\ + .,\ + plugin.xml,\ + icons/ + diff --git a/eclipse-workspace/fr.n7.simplepdl.toLTL.ui/icons/default.gif b/eclipse-workspace/fr.n7.simplepdl.toLTL.ui/icons/default.gif new file mode 100644 index 0000000..6a04c49 Binary files /dev/null and b/eclipse-workspace/fr.n7.simplepdl.toLTL.ui/icons/default.gif differ diff --git a/eclipse-workspace/fr.n7.simplepdl.toLTL.ui/plugin.xml b/eclipse-workspace/fr.n7.simplepdl.toLTL.ui/plugin.xml new file mode 100644 index 0000000..4360a8a --- /dev/null +++ b/eclipse-workspace/fr.n7.simplepdl.toLTL.ui/plugin.xml @@ -0,0 +1,22 @@ + + + + + + + + + + + + diff --git a/eclipse-workspace/fr.n7.simplepdl.toLTL.ui/src/fr/n7/simplepdl/toLTL/ui/Activator.java b/eclipse-workspace/fr.n7.simplepdl.toLTL.ui/src/fr/n7/simplepdl/toLTL/ui/Activator.java new file mode 100644 index 0000000..aaabdfa --- /dev/null +++ b/eclipse-workspace/fr.n7.simplepdl.toLTL.ui/src/fr/n7/simplepdl/toLTL/ui/Activator.java @@ -0,0 +1,66 @@ +/******************************************************************************* + * Copyright (c) 2008, 2012 Obeo. + * All rights reserved. This program and the accompanying materials + * are made available under the terms of the Eclipse Public License v1.0 + * which accompanies this distribution, and is available at + * http://www.eclipse.org/legal/epl-v10.html + * + * Contributors: + * Obeo - initial API and implementation + *******************************************************************************/ +package fr.n7.simplepdl.toLTL.ui; + +import org.eclipse.ui.plugin.AbstractUIPlugin; +import org.osgi.framework.BundleContext; + +/** + * The activator class controls the plug-in life cycle. + */ +public class Activator extends AbstractUIPlugin { + + /** + * The plug-in ID. + */ + public static final String PLUGIN_ID = "fr.n7.simplepdl.toLTL.ui"; + + /** + * The shared instance. + */ + private static Activator plugin; + + /** + * The constructor. + */ + public Activator() { + } + + /**{@inheritDoc} + * + * @see org.eclipse.core.runtime.Plugin#start(org.osgi.framework.BundleContext) + * @generated + */ + public void start(BundleContext context) throws Exception { + super.start(context); + plugin = this; + } + + /**{@inheritDoc} + * + * @see org.eclipse.core.runtime.Plugin#stop(org.osgi.framework.BundleContext) + * @generated + */ + public void stop(BundleContext context) throws Exception { + plugin = null; + super.stop(context); + } + + /** + * Returns the shared instance. + * + * @return the shared instance + */ + public static Activator getDefault() { + return plugin; + } + +} diff --git a/eclipse-workspace/fr.n7.simplepdl.toLTL.ui/src/fr/n7/simplepdl/toLTL/ui/common/GenerateAll.java b/eclipse-workspace/fr.n7.simplepdl.toLTL.ui/src/fr/n7/simplepdl/toLTL/ui/common/GenerateAll.java new file mode 100644 index 0000000..8660fb6 --- /dev/null +++ b/eclipse-workspace/fr.n7.simplepdl.toLTL.ui/src/fr/n7/simplepdl/toLTL/ui/common/GenerateAll.java @@ -0,0 +1,86 @@ +/******************************************************************************* + * Copyright (c) 2008, 2012 Obeo. + * All rights reserved. This program and the accompanying materials + * are made available under the terms of the Eclipse Public License v1.0 + * which accompanies this distribution, and is available at + * http://www.eclipse.org/legal/epl-v10.html + * + * Contributors: + * Obeo - initial API and implementation + *******************************************************************************/ +package fr.n7.simplepdl.toLTL.ui.common; + +import java.io.IOException; +import java.util.ArrayList; +import java.util.List; + +import org.eclipse.emf.common.util.BasicMonitor; +import org.eclipse.core.resources.IContainer; +import org.eclipse.core.runtime.IProgressMonitor; +import org.eclipse.emf.common.util.URI; + + +/** + * Main entry point of the 'ToLTL' generation module. + */ +public class GenerateAll { + + /** + * The model URI. + */ + private URI modelURI; + + /** + * The output folder. + */ + private IContainer targetFolder; + + /** + * The other arguments. + */ + List arguments; + + /** + * Constructor. + * + * @param modelURI + * is the URI of the model. + * @param targetFolder + * is the output folder + * @param arguments + * are the other arguments + * @throws IOException + * Thrown when the output cannot be saved. + * @generated + */ + public GenerateAll(URI modelURI, IContainer targetFolder, List arguments) { + this.modelURI = modelURI; + this.targetFolder = targetFolder; + this.arguments = arguments; + } + + /** + * Launches the generation. + * + * @param monitor + * This will be used to display progress information to the user. + * @throws IOException + * Thrown when the output cannot be saved. + * @generated + */ + public void doGenerate(IProgressMonitor monitor) throws IOException { + if (!targetFolder.getLocation().toFile().exists()) { + targetFolder.getLocation().toFile().mkdirs(); + } + + monitor.subTask("Loading..."); + fr.n7.simplepdl.toLTL.main.ToLTL gen0 = new fr.n7.simplepdl.toLTL.main.ToLTL(modelURI, targetFolder.getLocation().toFile(), arguments); + monitor.worked(1); + String generationID = org.eclipse.acceleo.engine.utils.AcceleoLaunchingUtil.computeUIProjectID("fr.n7.simplepdl.toLTL", "fr.n7.simplepdl.toLTL.main.ToLTL", modelURI.toString(), targetFolder.getFullPath().toString(), new ArrayList()); + gen0.setGenerationID(generationID); + gen0.doGenerate(BasicMonitor.toMonitor(monitor)); + + + } + +} diff --git a/eclipse-workspace/fr.n7.simplepdl.toLTL.ui/src/fr/n7/simplepdl/toLTL/ui/popupMenus/AcceleoGenerateToLTLAction.java b/eclipse-workspace/fr.n7.simplepdl.toLTL.ui/src/fr/n7/simplepdl/toLTL/ui/popupMenus/AcceleoGenerateToLTLAction.java new file mode 100644 index 0000000..5548320 --- /dev/null +++ b/eclipse-workspace/fr.n7.simplepdl.toLTL.ui/src/fr/n7/simplepdl/toLTL/ui/popupMenus/AcceleoGenerateToLTLAction.java @@ -0,0 +1,116 @@ +/******************************************************************************* + * Copyright (c) 2008, 2012 Obeo. + * All rights reserved. This program and the accompanying materials + * are made available under the terms of the Eclipse Public License v1.0 + * which accompanies this distribution, and is available at + * http://www.eclipse.org/legal/epl-v10.html + * + * Contributors: + * Obeo - initial API and implementation + *******************************************************************************/ +package fr.n7.simplepdl.toLTL.ui.popupMenus; + +import java.io.IOException; +import java.lang.reflect.InvocationTargetException; +import java.util.Iterator; +import java.util.List; +import java.util.ArrayList; + +import org.eclipse.core.resources.IFile; +import org.eclipse.core.resources.IContainer; +import org.eclipse.core.resources.IResource; +import org.eclipse.core.runtime.CoreException; +import org.eclipse.core.runtime.IProgressMonitor; +import org.eclipse.core.runtime.IStatus; +import org.eclipse.core.runtime.Status; +import org.eclipse.emf.common.util.URI; +import org.eclipse.jface.action.IAction; +import org.eclipse.jface.operation.IRunnableWithProgress; +import org.eclipse.jface.viewers.ISelection; +import org.eclipse.jface.viewers.IStructuredSelection; +import fr.n7.simplepdl.toLTL.ui.Activator; +import fr.n7.simplepdl.toLTL.ui.common.GenerateAll; +import org.eclipse.ui.IActionDelegate; +import org.eclipse.ui.PlatformUI; +import org.eclipse.ui.actions.ActionDelegate; + +/** + * ToLTL code generation. + */ +public class AcceleoGenerateToLTLAction extends ActionDelegate implements IActionDelegate { + + /** + * Selected model files. + */ + protected List files; + + /**{@inheritDoc} + * + * @see org.eclipse.ui.actions.ActionDelegate#selectionChanged(org.eclipse.jface.action.IAction, org.eclipse.jface.viewers.ISelection) + * @generated + */ + @SuppressWarnings("unchecked") + public void selectionChanged(IAction action, ISelection selection) { + if (selection instanceof IStructuredSelection) { + files = ((IStructuredSelection) selection).toList(); + } + } + + /**{@inheritDoc} + * + * @see org.eclipse.ui.actions.ActionDelegate#run(org.eclipse.jface.action.IAction) + * @generated + */ + public void run(IAction action) { + if (files != null) { + IRunnableWithProgress operation = new IRunnableWithProgress() { + public void run(IProgressMonitor monitor) { + try { + Iterator filesIt = files.iterator(); + while (filesIt.hasNext()) { + IFile model = (IFile)filesIt.next(); + URI modelURI = URI.createPlatformResourceURI(model.getFullPath().toString(), true); + IContainer targetFolder = null; + try { + IContainer target = model.getProject().getFolder("src-gen"); + targetFolder = target; + GenerateAll generator = new GenerateAll(modelURI, targetFolder, getArguments()); + generator.doGenerate(monitor); + } catch (IOException e) { + IStatus status = new Status(IStatus.ERROR, Activator.PLUGIN_ID, e.getMessage(), e); + Activator.getDefault().getLog().log(status); + } finally { + if (targetFolder != null) { + targetFolder.getProject().refreshLocal(IResource.DEPTH_INFINITE, monitor); + } + } + } + } catch (CoreException e) { + IStatus status = new Status(IStatus.ERROR, Activator.PLUGIN_ID, e.getMessage(), e); + Activator.getDefault().getLog().log(status); + } + } + }; + try { + PlatformUI.getWorkbench().getProgressService().run(true, true, operation); + } catch (InvocationTargetException e) { + IStatus status = new Status(IStatus.ERROR, Activator.PLUGIN_ID, e.getMessage(), e); + Activator.getDefault().getLog().log(status); + } catch (InterruptedException e) { + IStatus status = new Status(IStatus.ERROR, Activator.PLUGIN_ID, e.getMessage(), e); + Activator.getDefault().getLog().log(status); + } + } + } + + /** + * Computes the arguments of the generator. + * + * @return the arguments + * @generated + */ + protected List getArguments() { + return new ArrayList(); + } + +} \ No newline at end of file diff --git a/eclipse-workspace/fr.n7.simplepdl.toLTL/.classpath b/eclipse-workspace/fr.n7.simplepdl.toLTL/.classpath new file mode 100644 index 0000000..91dbd49 --- /dev/null +++ b/eclipse-workspace/fr.n7.simplepdl.toLTL/.classpath @@ -0,0 +1,7 @@ + + + + + + + diff --git a/eclipse-workspace/fr.n7.simplepdl.toLTL/.project b/eclipse-workspace/fr.n7.simplepdl.toLTL/.project new file mode 100644 index 0000000..e3347ca --- /dev/null +++ b/eclipse-workspace/fr.n7.simplepdl.toLTL/.project @@ -0,0 +1,50 @@ + + + fr.n7.simplepdl.toLTL + + + + + + org.eclipse.jdt.core.javabuilder + + + + + org.eclipse.pde.ManifestBuilder + + + + + org.eclipse.pde.SchemaBuilder + + + + + org.eclipse.acceleo.ide.ui.acceleoBuilder + + + compilation.kind + compilation.platform.resource + + + compliance + pragmatic + + + resource.kind + xmi + + + trim-position + false + + + + + + org.eclipse.acceleo.ide.ui.acceleoNature + org.eclipse.jdt.core.javanature + org.eclipse.pde.PluginNature + + diff --git a/eclipse-workspace/fr.n7.simplepdl.toLTL/META-INF/MANIFEST.MF b/eclipse-workspace/fr.n7.simplepdl.toLTL/META-INF/MANIFEST.MF new file mode 100644 index 0000000..7f2d4f8 --- /dev/null +++ b/eclipse-workspace/fr.n7.simplepdl.toLTL/META-INF/MANIFEST.MF @@ -0,0 +1,23 @@ +Manifest-Version: 1.0 +Bundle-ManifestVersion: 2 +Bundle-Name: Acceleo ToLTL Module Runtime Plug-in +Bundle-SymbolicName: fr.n7.simplepdl.toLTL +Bundle-Version: 1.0.0.qualifier +Bundle-Activator: fr.n7.simplepdl.toLTL.Activator +Bundle-Vendor: Eclipse Modeling Project +Require-Bundle: org.eclipse.core.runtime, + org.eclipse.emf.ecore, + org.eclipse.emf.ecore, + org.eclipse.emf.ecore.xmi, + org.eclipse.ocl, + org.eclipse.ocl.ecore, + org.eclipse.acceleo.common;bundle-version="3.3.0", + org.eclipse.acceleo.model;bundle-version="3.3.0", + org.eclipse.acceleo.profiler;bundle-version="3.3.0", + org.eclipse.acceleo.engine;bundle-version="3.3.0", + com.google.guava +Bundle-RequiredExecutionEnvironment: JavaSE-11 +Bundle-ActivationPolicy: lazy +Eclipse-LazyStart: true +Export-Package: fr.n7.simplepdl.toLTL.main + diff --git a/eclipse-workspace/fr.n7.simplepdl.toLTL/build.properties b/eclipse-workspace/fr.n7.simplepdl.toLTL/build.properties new file mode 100644 index 0000000..3230056 --- /dev/null +++ b/eclipse-workspace/fr.n7.simplepdl.toLTL/build.properties @@ -0,0 +1,5 @@ +source.. = src/ +output.. = bin/ +bin.includes = META-INF/,\ + . +jre.compilation.profile = JavaSE-11 diff --git a/eclipse-workspace/fr.n7.simplepdl.toLTL/src/fr/n7/simplepdl/toLTL/Activator.java b/eclipse-workspace/fr.n7.simplepdl.toLTL/src/fr/n7/simplepdl/toLTL/Activator.java new file mode 100644 index 0000000..e044970 --- /dev/null +++ b/eclipse-workspace/fr.n7.simplepdl.toLTL/src/fr/n7/simplepdl/toLTL/Activator.java @@ -0,0 +1,66 @@ +/******************************************************************************* + * Copyright (c) 2008, 2011 Obeo. + * All rights reserved. This program and the accompanying materials + * are made available under the terms of the Eclipse Public License v1.0 + * which accompanies this distribution, and is available at + * http://www.eclipse.org/legal/epl-v10.html + * + * Contributors: + * Obeo - initial API and implementation + *******************************************************************************/ +package fr.n7.simplepdl.toLTL; + +import org.eclipse.core.runtime.Plugin; +import org.osgi.framework.BundleContext; + +/** + * The activator class controls the plug-in life cycle. + */ +public class Activator extends Plugin { + + /** + * The plug-in ID. + */ + public static final String PLUGIN_ID = "fr.n7.simplepdl.toLTL"; + + /** + * The shared instance. + */ + private static Activator plugin; + + /** + * The constructor. + */ + public Activator() { + } + + /** + * {@inheritDoc} + * + * @see org.eclipse.core.runtime.Plugin#start(org.osgi.framework.BundleContext) + */ + public void start(BundleContext context) throws Exception { + super.start(context); + plugin = this; + } + + /** + * {@inheritDoc} + * + * @see org.eclipse.core.runtime.Plugin#stop(org.osgi.framework.BundleContext) + */ + public void stop(BundleContext context) throws Exception { + plugin = null; + super.stop(context); + } + + /** + * Returns the shared instance. + * + * @return the shared instance + */ + public static Activator getDefault() { + return plugin; + } + +} diff --git a/eclipse-workspace/fr.n7.simplepdl.toLTL/src/fr/n7/simplepdl/toLTL/main/ToLTL.java b/eclipse-workspace/fr.n7.simplepdl.toLTL/src/fr/n7/simplepdl/toLTL/main/ToLTL.java new file mode 100644 index 0000000..18a47e3 --- /dev/null +++ b/eclipse-workspace/fr.n7.simplepdl.toLTL/src/fr/n7/simplepdl/toLTL/main/ToLTL.java @@ -0,0 +1,412 @@ +/******************************************************************************* + * Copyright (c) 2008, 2012 Obeo. + * All rights reserved. This program and the accompanying materials + * are made available under the terms of the Eclipse Public License v1.0 + * which accompanies this distribution, and is available at + * http://www.eclipse.org/legal/epl-v10.html + * + * Contributors: + * Obeo - initial API and implementation + *******************************************************************************/ +package fr.n7.simplepdl.toLTL.main; + +import java.io.File; +import java.io.IOException; +import java.util.ArrayList; +import java.util.List; + +import org.eclipse.acceleo.engine.event.IAcceleoTextGenerationListener; +import org.eclipse.acceleo.engine.generation.strategy.IAcceleoGenerationStrategy; +import org.eclipse.acceleo.engine.service.AbstractAcceleoGenerator; +import org.eclipse.emf.common.util.BasicMonitor; +import org.eclipse.emf.common.util.Monitor; +import org.eclipse.emf.common.util.URI; +import org.eclipse.emf.ecore.EObject; +import org.eclipse.emf.ecore.resource.ResourceSet; + +/** + * Entry point of the 'ToLTL' generation module. + * + * @generated + */ +public class ToLTL extends AbstractAcceleoGenerator { + /** + * The name of the module. + * + * @generated + */ + public static final String MODULE_FILE_NAME = "/fr/n7/simplepdl/toLTL/main/toLTL"; + + /** + * The name of the templates that are to be generated. + * + * @generated + */ + public static final String[] TEMPLATE_NAMES = { "processToLTL" }; + + /** + * The list of properties files from the launch parameters (Launch configuration). + * + * @generated + */ + private List propertiesFiles = new ArrayList(); + + /** + * Allows the public constructor to be used. Note that a generator created + * this way cannot be used to launch generations before one of + * {@link #initialize(EObject, File, List)} or + * {@link #initialize(URI, File, List)} is called. + *

+ * The main reason for this constructor is to allow clients of this + * generation to call it from another Java file, as it allows for the + * retrieval of {@link #getProperties()} and + * {@link #getGenerationListeners()}. + *

+ * + * @generated + */ + public ToLTL() { + // Empty implementation + } + + /** + * This allows clients to instantiates a generator with all required information. + * + * @param modelURI + * URI where the model on which this generator will be used is located. + * @param targetFolder + * This will be used as the output folder for this generation : it will be the base path + * against which all file block URLs will be resolved. + * @param arguments + * If the template which will be called requires more than one argument taken from the model, + * pass them here. + * @throws IOException + * This can be thrown in three scenarios : the module cannot be found, it cannot be loaded, or + * the model cannot be loaded. + * @generated + */ + public ToLTL(URI modelURI, File targetFolder, + List arguments) throws IOException { + initialize(modelURI, targetFolder, arguments); + } + + /** + * This allows clients to instantiates a generator with all required information. + * + * @param model + * We'll iterate over the content of this element to find Objects matching the first parameter + * of the template we need to call. + * @param targetFolder + * This will be used as the output folder for this generation : it will be the base path + * against which all file block URLs will be resolved. + * @param arguments + * If the template which will be called requires more than one argument taken from the model, + * pass them here. + * @throws IOException + * This can be thrown in two scenarios : the module cannot be found, or it cannot be loaded. + * @generated + */ + public ToLTL(EObject model, File targetFolder, + List arguments) throws IOException { + initialize(model, targetFolder, arguments); + } + + /** + * This can be used to launch the generation from a standalone application. + * + * @param args + * Arguments of the generation. + * @generated + */ + public static void main(String[] args) { + try { + if (args.length < 2) { + System.out.println("Arguments not valid : {model, folder}."); + } else { + URI modelURI = URI.createFileURI(args[0]); + File folder = new File(args[1]); + + List arguments = new ArrayList(); + + /* + * If you want to change the content of this method, do NOT forget to change the "@generated" + * tag in the Javadoc of this method to "@generated NOT". Without this new tag, any compilation + * of the Acceleo module with the main template that has caused the creation of this class will + * revert your modifications. + */ + + /* + * Add in this list all the arguments used by the starting point of the generation + * If your main template is called on an element of your model and a String, you can + * add in "arguments" this "String" attribute. + */ + + ToLTL generator = new ToLTL(modelURI, folder, arguments); + + /* + * Add the properties from the launch arguments. + * If you want to programmatically add new properties, add them in "propertiesFiles" + * You can add the absolute path of a properties files, or even a project relative path. + * If you want to add another "protocol" for your properties files, please override + * "getPropertiesLoaderService(AcceleoService)" in order to return a new property loader. + * The behavior of the properties loader service is explained in the Acceleo documentation + * (Help -> Help Contents). + */ + + for (int i = 2; i < args.length; i++) { + generator.addPropertiesFile(args[i]); + } + + generator.doGenerate(new BasicMonitor()); + } + } catch (IOException e) { + e.printStackTrace(); + } + } + + /** + * Launches the generation described by this instance. + * + * @param monitor + * This will be used to display progress information to the user. + * @throws IOException + * This will be thrown if any of the output files cannot be saved to disk. + * @generated + */ + @Override + public void doGenerate(Monitor monitor) throws IOException { + /* + * TODO if you wish to change the generation as a whole, override this. The default behavior should + * be sufficient in most cases. If you want to change the content of this method, do NOT forget to + * change the "@generated" tag in the Javadoc of this method to "@generated NOT". Without this new tag, + * any compilation of the Acceleo module with the main template that has caused the creation of this + * class will revert your modifications. If you encounter a problem with an unresolved proxy during the + * generation, you can remove the comments in the following instructions to check for problems. Please + * note that those instructions may have a significant impact on the performances. + */ + + //org.eclipse.emf.ecore.util.EcoreUtil.resolveAll(model); + + /* + * If you want to check for potential errors in your models before the launch of the generation, you + * use the code below. + */ + + //if (model != null && model.eResource() != null) { + // List errors = model.eResource().getErrors(); + // for (org.eclipse.emf.ecore.resource.Resource.Diagnostic diagnostic : errors) { + // System.err.println(diagnostic.toString()); + // } + //} + + super.doGenerate(monitor); + } + + /** + * If this generator needs to listen to text generation events, listeners can be returned from here. + * + * @return List of listeners that are to be notified when text is generated through this launch. + * @generated + */ + @Override + public List getGenerationListeners() { + List listeners = super.getGenerationListeners(); + /* + * TODO if you need to listen to generation event, add listeners to the list here. If you want to change + * the content of this method, do NOT forget to change the "@generated" tag in the Javadoc of this method + * to "@generated NOT". Without this new tag, any compilation of the Acceleo module with the main template + * that has caused the creation of this class will revert your modifications. + */ + return listeners; + } + + /** + * If you need to change the way files are generated, this is your entry point. + *

+ * The default is {@link org.eclipse.acceleo.engine.generation.strategy.DefaultStrategy}; it generates + * files on the fly. If you only need to preview the results, return a new + * {@link org.eclipse.acceleo.engine.generation.strategy.PreviewStrategy}. Both of these aren't aware of + * the running Eclipse and can be used standalone. + *

+ *

+ * If you need the file generation to be aware of the workspace (A typical example is when you wanna + * override files that are under clear case or any other VCS that could forbid the overriding), then + * return a new {@link org.eclipse.acceleo.engine.generation.strategy.WorkspaceAwareStrategy}. + * Note, however, that this cannot be used standalone. + *

+ *

+ * All three of these default strategies support merging through JMerge. + *

+ * + * @return The generation strategy that is to be used for generations launched through this launcher. + * @generated + */ + @Override + public IAcceleoGenerationStrategy getGenerationStrategy() { + return super.getGenerationStrategy(); + } + + /** + * This will be called in order to find and load the module that will be launched through this launcher. + * We expect this name not to contain file extension, and the module to be located beside the launcher. + * + * @return The name of the module that is to be launched. + * @generated + */ + @Override + public String getModuleName() { + return MODULE_FILE_NAME; + } + + /** + * If the module(s) called by this launcher require properties files, return their qualified path from + * here.Take note that the first added properties files will take precedence over subsequent ones if they + * contain conflicting keys. + * + * @return The list of properties file we need to add to the generation context. + * @see java.util.ResourceBundle#getBundle(String) + * @generated + */ + @Override + public List getProperties() { + /* + * If you want to change the content of this method, do NOT forget to change the "@generated" + * tag in the Javadoc of this method to "@generated NOT". Without this new tag, any compilation + * of the Acceleo module with the main template that has caused the creation of this class will + * revert your modifications. + */ + + /* + * TODO if your generation module requires access to properties files, add their qualified path to the list here. + * + * Properties files can be located in an Eclipse plug-in or in the file system (all Acceleo projects are Eclipse + * plug-in). In order to use properties files located in an Eclipse plugin, you need to add the path of the properties + * files to the "propertiesFiles" list: + * + * final String prefix = "platform:/plugin/"; + * final String pluginName = "org.eclipse.acceleo.module.sample"; + * final String packagePath = "/org/eclipse/acceleo/module/sample/properties/"; + * final String fileName = "default.properties"; + * propertiesFiles.add(prefix + pluginName + packagePath + fileName); + * + * With this mechanism, you can load properties files from your plugin or from another plugin. + * + * You may want to load properties files from the file system, for that you need to add the absolute path of the file: + * + * propertiesFiles.add("C:\Users\MyName\MyFile.properties"); + * + * If you want to let your users add properties files located in the same folder as the model: + * + * if (EMFPlugin.IS_ECLIPSE_RUNNING && model != null && model.eResource() != null) { + * propertiesFiles.addAll(AcceleoEngineUtils.getPropertiesFilesNearModel(model.eResource())); + * } + * + * To learn more about Properties Files, have a look at the Acceleo documentation (Help -> Help Contents). + */ + return propertiesFiles; + } + + /** + * Adds a properties file in the list of properties files. + * + * @param propertiesFile + * The properties file to add. + * @generated + * @since 3.1 + */ + @Override + public void addPropertiesFile(String propertiesFile) { + this.propertiesFiles.add(propertiesFile); + } + + /** + * This will be used to get the list of templates that are to be launched by this launcher. + * + * @return The list of templates to call on the module {@link #getModuleName()}. + * @generated + */ + @Override + public String[] getTemplateNames() { + return TEMPLATE_NAMES; + } + + /** + * This can be used to update the resource set's package registry with all needed EPackages. + * + * @param resourceSet + * The resource set which registry has to be updated. + * @generated + */ + @Override + public void registerPackages(ResourceSet resourceSet) { + super.registerPackages(resourceSet); + + /* + * If you want to change the content of this method, do NOT forget to change the "@generated" + * tag in the Javadoc of this method to "@generated NOT". Without this new tag, any compilation + * of the Acceleo module with the main template that has caused the creation of this class will + * revert your modifications. + */ + + /* + * If you need additional package registrations, you can register them here. The following line + * (in comment) is an example of the package registration for UML. + * + * You can use the method "isInWorkspace(Class c)" to check if the package that you are about to + * register is in the workspace. + * + * To register a package properly, please follow the following conventions: + * + * If the package is located in another plug-in, already installed in Eclipse. The following content should + * have been generated at the beginning of this method. Do not register the package using this mechanism if + * the metamodel is located in the workspace. + * + * if (!isInWorkspace(UMLPackage.class)) { + * // The normal package registration if your metamodel is in a plugin. + * resourceSet.getPackageRegistry().put(UMLPackage.eNS_URI, UMLPackage.eINSTANCE); + * } + * + * If the package is located in another project in your workspace, the plugin containing the package has not + * been register by EMF and Acceleo should register it automatically. If you want to use the generator in + * stand alone, the regular registration (seen a couple lines before) is needed. + * + * To learn more about Package Registration, have a look at the Acceleo documentation (Help -> Help Contents). + */ + } + + /** + * This can be used to update the resource set's resource factory registry with all needed factories. + * + * @param resourceSet + * The resource set which registry has to be updated. + * @generated + */ + @Override + public void registerResourceFactories(ResourceSet resourceSet) { + super.registerResourceFactories(resourceSet); + /* + * If you want to change the content of this method, do NOT forget to change the "@generated" + * tag in the Javadoc of this method to "@generated NOT". Without this new tag, any compilation + * of the Acceleo module with the main template that has caused the creation of this class will + * revert your modifications. + */ + + /* + * TODO If you need additional resource factories registrations, you can register them here. the following line + * (in comment) is an example of the resource factory registration. + * + * If you want to use the generator in stand alone, the resource factory registration will be required. + * + * To learn more about the registration of Resource Factories, have a look at the Acceleo documentation (Help -> Help Contents). + */ + + // resourceSet.getResourceFactoryRegistry().getExtensionToFactoryMap().put(XyzResource.FILE_EXTENSION, XyzResource.Factory.INSTANCE); + + /* + * Some metamodels require a very complex setup for standalone usage. For example, if you want to use a generator + * targetting UML models in standalone, you NEED to use the following: + */ + // UMLResourcesUtil.init(resourceSet) + } + +} diff --git a/eclipse-workspace/fr.n7.simplepdl.toLTL/src/fr/n7/simplepdl/toLTL/main/toLTL.mtl b/eclipse-workspace/fr.n7.simplepdl.toLTL/src/fr/n7/simplepdl/toLTL/main/toLTL.mtl new file mode 100644 index 0000000..801597c --- /dev/null +++ b/eclipse-workspace/fr.n7.simplepdl.toLTL/src/fr/n7/simplepdl/toLTL/main/toLTL.mtl @@ -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/fr.n7.simplepdl.toLTL/tasks/toLTL.xml b/eclipse-workspace/fr.n7.simplepdl.toLTL/tasks/toLTL.xml new file mode 100644 index 0000000..03d70f0 --- /dev/null +++ b/eclipse-workspace/fr.n7.simplepdl.toLTL/tasks/toLTL.xml @@ -0,0 +1,66 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/eclipse-workspace/fr.n7.simplepdl.toLTL/tasks/toLTLTarget.xml b/eclipse-workspace/fr.n7.simplepdl.toLTL/tasks/toLTLTarget.xml new file mode 100644 index 0000000..e2743bb --- /dev/null +++ b/eclipse-workspace/fr.n7.simplepdl.toLTL/tasks/toLTLTarget.xml @@ -0,0 +1,19 @@ + + + + + + + + + + + + + + + + + + + diff --git a/eclipse-workspace/fr.n7.simplepdl.txt.pdl.tests/test-bin/fr/n7/simplepdl/txt/tests/.PDLParsingTest.xtendbin b/eclipse-workspace/fr.n7.simplepdl.txt.pdl.tests/test-bin/fr/n7/simplepdl/txt/tests/.PDLParsingTest.xtendbin index bde3706..447ceea 100644 Binary files a/eclipse-workspace/fr.n7.simplepdl.txt.pdl.tests/test-bin/fr/n7/simplepdl/txt/tests/.PDLParsingTest.xtendbin and b/eclipse-workspace/fr.n7.simplepdl.txt.pdl.tests/test-bin/fr/n7/simplepdl/txt/tests/.PDLParsingTest.xtendbin differ diff --git a/eclipse-workspace/fr.n7.simplepdl.txt.pdl.tests/xtend-gen/fr/n7/simplepdl/txt/tests/.PDLParsingTest.xtendbin b/eclipse-workspace/fr.n7.simplepdl.txt.pdl.tests/xtend-gen/fr/n7/simplepdl/txt/tests/.PDLParsingTest.xtendbin index bde3706..447ceea 100644 Binary files a/eclipse-workspace/fr.n7.simplepdl.txt.pdl.tests/xtend-gen/fr/n7/simplepdl/txt/tests/.PDLParsingTest.xtendbin and b/eclipse-workspace/fr.n7.simplepdl.txt.pdl.tests/xtend-gen/fr/n7/simplepdl/txt/tests/.PDLParsingTest.xtendbin differ diff --git a/eclipse-workspace/fr.n7.simplepdl.txt.pdl/xtend-gen/fr/n7/simplepdl/txt/formatting2/.PDLFormatter.xtendbin b/eclipse-workspace/fr.n7.simplepdl.txt.pdl/xtend-gen/fr/n7/simplepdl/txt/formatting2/.PDLFormatter.xtendbin index 9e7987d..0927cad 100644 Binary files a/eclipse-workspace/fr.n7.simplepdl.txt.pdl/xtend-gen/fr/n7/simplepdl/txt/formatting2/.PDLFormatter.xtendbin and b/eclipse-workspace/fr.n7.simplepdl.txt.pdl/xtend-gen/fr/n7/simplepdl/txt/formatting2/.PDLFormatter.xtendbin differ diff --git a/eclipse-workspace/fr.n7.simplepdl.txt.pdl/xtend-gen/fr/n7/simplepdl/txt/generator/.PDLGenerator.xtendbin b/eclipse-workspace/fr.n7.simplepdl.txt.pdl/xtend-gen/fr/n7/simplepdl/txt/generator/.PDLGenerator.xtendbin index 4fa68b3..d5120c8 100644 Binary files a/eclipse-workspace/fr.n7.simplepdl.txt.pdl/xtend-gen/fr/n7/simplepdl/txt/generator/.PDLGenerator.xtendbin and b/eclipse-workspace/fr.n7.simplepdl.txt.pdl/xtend-gen/fr/n7/simplepdl/txt/generator/.PDLGenerator.xtendbin differ diff --git a/runtime-Eclipse/.metadata/.log b/runtime-Eclipse/.metadata/.log index 893ebff..138ba90 100644 --- a/runtime-Eclipse/.metadata/.log +++ b/runtime-Eclipse/.metadata/.log @@ -9485,3 +9485,146 @@ 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-17 15:29:35.108 ----------------------------------------------- +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.platform.ide +Command-line arguments: -product org.eclipse.platform.ide -data /home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/../runtime-Eclipse -dev file:/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/dev.properties -os linux -ws gtk -arch x86_64 + +!ENTRY org.eclipse.pde.core 4 0 2021-10-17 15:29:43.857 +!MESSAGE The current target platform contains errors, open Window > Preferences > Plug-in Development > Target Platform for details. +!STACK 1 +org.eclipse.core.runtime.CoreException: Problems occurred getting the plug-ins in this container + at org.eclipse.pde.internal.core.PluginModelManager.getExternalBundles(PluginModelManager.java:682) + at org.eclipse.pde.internal.core.PluginModelManager.initializeTable(PluginModelManager.java:591) + at org.eclipse.pde.internal.core.PluginModelManager.targetReloaded(PluginModelManager.java:522) + at org.eclipse.pde.internal.core.RequiredPluginsInitializer.lambda$0(RequiredPluginsInitializer.java:33) + at org.eclipse.core.runtime.jobs.Job$2.run(Job.java:185) + at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63) +Contains: File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl1 +Contains: File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl1.ide +Contains: File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl1.tests +Contains: File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl1.ui +Contains: File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl1.ui.tests +Contains: File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl2 +Contains: File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl2.ide +Contains: File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl2.tests +Contains: File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl2.ui +Contains: File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl2.ui.tests +Contains: File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl3 +Contains: File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl3.ide +Contains: File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl3.tests +Contains: File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl3.ui +Contains: File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl3.ui.tests +!SUBENTRY 1 org.eclipse.pde.core 4 0 2021-10-17 15:29:43.858 +!MESSAGE Problems occurred getting the plug-ins in this container +!SUBENTRY 2 org.eclipse.pde.core 4 0 2021-10-17 15:29:43.858 +!MESSAGE File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl1 +!SUBENTRY 2 org.eclipse.pde.core 4 0 2021-10-17 15:29:43.858 +!MESSAGE File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl1.ide +!SUBENTRY 2 org.eclipse.pde.core 4 0 2021-10-17 15:29:43.858 +!MESSAGE File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl1.tests +!SUBENTRY 2 org.eclipse.pde.core 4 0 2021-10-17 15:29:43.858 +!MESSAGE File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl1.ui +!SUBENTRY 2 org.eclipse.pde.core 4 0 2021-10-17 15:29:43.858 +!MESSAGE File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl1.ui.tests +!SUBENTRY 2 org.eclipse.pde.core 4 0 2021-10-17 15:29:43.858 +!MESSAGE File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl2 +!SUBENTRY 2 org.eclipse.pde.core 4 0 2021-10-17 15:29:43.858 +!MESSAGE File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl2.ide +!SUBENTRY 2 org.eclipse.pde.core 4 0 2021-10-17 15:29:43.858 +!MESSAGE File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl2.tests +!SUBENTRY 2 org.eclipse.pde.core 4 0 2021-10-17 15:29:43.858 +!MESSAGE File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl2.ui +!SUBENTRY 2 org.eclipse.pde.core 4 0 2021-10-17 15:29:43.858 +!MESSAGE File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl2.ui.tests +!SUBENTRY 2 org.eclipse.pde.core 4 0 2021-10-17 15:29:43.858 +!MESSAGE File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl3 +!SUBENTRY 2 org.eclipse.pde.core 4 0 2021-10-17 15:29:43.858 +!MESSAGE File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl3.ide +!SUBENTRY 2 org.eclipse.pde.core 4 0 2021-10-17 15:29:43.858 +!MESSAGE File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl3.tests +!SUBENTRY 2 org.eclipse.pde.core 4 0 2021-10-17 15:29:43.858 +!MESSAGE File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl3.ui +!SUBENTRY 2 org.eclipse.pde.core 4 0 2021-10-17 15:29:43.858 +!MESSAGE File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl3.ui.tests + +!ENTRY org.eclipse.pde.core 4 0 2021-10-17 15:29:43.863 +!MESSAGE File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl1 + +!ENTRY org.eclipse.pde.core 4 0 2021-10-17 15:29:43.864 +!MESSAGE File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl1.ide + +!ENTRY org.eclipse.pde.core 4 0 2021-10-17 15:29:43.865 +!MESSAGE File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl1.tests + +!ENTRY org.eclipse.pde.core 4 0 2021-10-17 15:29:43.866 +!MESSAGE File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl1.ui + +!ENTRY org.eclipse.pde.core 4 0 2021-10-17 15:29:43.867 +!MESSAGE File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl1.ui.tests + +!ENTRY org.eclipse.pde.core 4 0 2021-10-17 15:29:43.868 +!MESSAGE File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl2 + +!ENTRY org.eclipse.pde.core 4 0 2021-10-17 15:29:43.868 +!MESSAGE File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl2.ide + +!ENTRY org.eclipse.pde.core 4 0 2021-10-17 15:29:43.869 +!MESSAGE File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl2.tests + +!ENTRY org.eclipse.pde.core 4 0 2021-10-17 15:29:43.870 +!MESSAGE File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl2.ui + +!ENTRY org.eclipse.pde.core 4 0 2021-10-17 15:29:43.871 +!MESSAGE File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl2.ui.tests + +!ENTRY org.eclipse.pde.core 4 0 2021-10-17 15:29:43.872 +!MESSAGE File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl3 + +!ENTRY org.eclipse.pde.core 4 0 2021-10-17 15:29:43.873 +!MESSAGE File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl3.ide + +!ENTRY org.eclipse.pde.core 4 0 2021-10-17 15:29:43.874 +!MESSAGE File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl3.tests + +!ENTRY org.eclipse.pde.core 4 0 2021-10-17 15:29:43.875 +!MESSAGE File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl3.ui + +!ENTRY org.eclipse.pde.core 4 0 2021-10-17 15:29:43.875 +!MESSAGE File does not exist: /home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.pdl3.ui.tests + +!ENTRY org.eclipse.emf.cdo.explorer 4 0 2021-10-17 15:48:18.988 +!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/runtime-Eclipse/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.design/org.eclipse.jdt.core/state.dat b/runtime-Eclipse/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.design/org.eclipse.jdt.core/state.dat index 7d67a47..117ca9f 100644 Binary files a/runtime-Eclipse/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.design/org.eclipse.jdt.core/state.dat and b/runtime-Eclipse/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.petrinet.design/org.eclipse.jdt.core/state.dat differ diff --git a/runtime-Eclipse/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.design/org.eclipse.jdt.core/state.dat b/runtime-Eclipse/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.design/org.eclipse.jdt.core/state.dat index a687e92..7862dfa 100644 Binary files a/runtime-Eclipse/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.design/org.eclipse.jdt.core/state.dat and b/runtime-Eclipse/.metadata/.plugins/org.eclipse.core.resources/.projects/fr.n7.simplepdl.design/org.eclipse.jdt.core/state.dat differ diff --git a/runtime-Eclipse/.metadata/.plugins/org.eclipse.core.resources/.root/.indexes/properties.index b/runtime-Eclipse/.metadata/.plugins/org.eclipse.core.resources/.root/.indexes/properties.index index 1cfe42a..8fdd5d1 100644 Binary files a/runtime-Eclipse/.metadata/.plugins/org.eclipse.core.resources/.root/.indexes/properties.index and b/runtime-Eclipse/.metadata/.plugins/org.eclipse.core.resources/.root/.indexes/properties.index differ diff --git a/runtime-Eclipse/.metadata/.plugins/org.eclipse.core.resources/.safetable/org.eclipse.core.resources b/runtime-Eclipse/.metadata/.plugins/org.eclipse.core.resources/.safetable/org.eclipse.core.resources index 7fb4793..c7f3757 100644 Binary files a/runtime-Eclipse/.metadata/.plugins/org.eclipse.core.resources/.safetable/org.eclipse.core.resources and b/runtime-Eclipse/.metadata/.plugins/org.eclipse.core.resources/.safetable/org.eclipse.core.resources differ diff --git a/runtime-Eclipse/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs b/runtime-Eclipse/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs index b59ef07..64cf6fa 100644 --- a/runtime-Eclipse/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs +++ b/runtime-Eclipse/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs @@ -1,6 +1,6 @@ PROBLEMS_FILTERS_MIGRATE=true TASKS_FILTERS_MIGRATE=true eclipse.preferences.version=1 -platformState=1634469237513 +platformState=1634477376233 quickStart=false tipsAndTricks=true diff --git a/runtime-Eclipse/.metadata/.plugins/org.eclipse.e4.workbench/workbench.xmi b/runtime-Eclipse/.metadata/.plugins/org.eclipse.e4.workbench/workbench.xmi index f36d1ae..ba49319 100644 --- a/runtime-Eclipse/.metadata/.plugins/org.eclipse.e4.workbench/workbench.xmi +++ b/runtime-Eclipse/.metadata/.plugins/org.eclipse.e4.workbench/workbench.xmi @@ -1,6 +1,6 @@ - + activeSchemeId:org.eclipse.ui.defaultAcceleratorConfiguration @@ -437,7 +437,7 @@ Draggable - + toolbarSeparator @@ -465,7 +465,7 @@ Draggable - + toolbarSeparator diff --git a/runtime-Eclipse/.metadata/.plugins/org.eclipse.jdt.core/externalLibsTimeStamps b/runtime-Eclipse/.metadata/.plugins/org.eclipse.jdt.core/externalLibsTimeStamps index e9b3c11..4aed83e 100644 Binary files a/runtime-Eclipse/.metadata/.plugins/org.eclipse.jdt.core/externalLibsTimeStamps and b/runtime-Eclipse/.metadata/.plugins/org.eclipse.jdt.core/externalLibsTimeStamps differ diff --git a/runtime-Eclipse/.metadata/.plugins/org.eclipse.ltk.core.refactoring/.refactorings/.workspace/2021/10/41/refactorings.history b/runtime-Eclipse/.metadata/.plugins/org.eclipse.ltk.core.refactoring/.refactorings/.workspace/2021/10/41/refactorings.history index 851128d..3cbb709 100644 --- a/runtime-Eclipse/.metadata/.plugins/org.eclipse.ltk.core.refactoring/.refactorings/.workspace/2021/10/41/refactorings.history +++ b/runtime-Eclipse/.metadata/.plugins/org.eclipse.ltk.core.refactoring/.refactorings/.workspace/2021/10/41/refactorings.history @@ -1,3 +1,3 @@ - + \ No newline at end of file diff --git a/runtime-Eclipse/.metadata/.plugins/org.eclipse.ltk.core.refactoring/.refactorings/.workspace/2021/10/41/refactorings.index b/runtime-Eclipse/.metadata/.plugins/org.eclipse.ltk.core.refactoring/.refactorings/.workspace/2021/10/41/refactorings.index index 61e6861..5917eab 100644 --- a/runtime-Eclipse/.metadata/.plugins/org.eclipse.ltk.core.refactoring/.refactorings/.workspace/2021/10/41/refactorings.index +++ b/runtime-Eclipse/.metadata/.plugins/org.eclipse.ltk.core.refactoring/.refactorings/.workspace/2021/10/41/refactorings.index @@ -31,3 +31,6 @@ 1634468993506 Delete resource 'fr.n7.petrinet.exemples/gen/developpement_atl.petrinet' 1634469529981 Delete resource 'fr.n7.petrinet.exemples/gen/schema_atl.petrinet' 1634469536173 Delete resource 'fr.n7.petrinet.exemples/src-gen/schema.net' +1634478031375 Delete resource 'fr.n7.petrinet.exemples/src-gen/Developpement.scn' +1634478295810 Delete resource 'fr.n7.petrinet.exemples/src-gen/Developpement.scn' +1634478375722 Delete resource 'fr.n7.petrinet.exemples/src-gen/Developpement.scn' diff --git a/runtime-Eclipse/.metadata/.plugins/org.eclipse.pde.core/.cache/clean-cache.properties b/runtime-Eclipse/.metadata/.plugins/org.eclipse.pde.core/.cache/clean-cache.properties index 7b0a5ad..1f33dcd 100644 --- a/runtime-Eclipse/.metadata/.plugins/org.eclipse.pde.core/.cache/clean-cache.properties +++ b/runtime-Eclipse/.metadata/.plugins/org.eclipse.pde.core/.cache/clean-cache.properties @@ -1,2 +1,2 @@ #Cached timestamps -#Sun Oct 17 13:18:59 CEST 2021 +#Sun Oct 17 15:48:18 CEST 2021 diff --git a/runtime-Eclipse/.metadata/.plugins/org.eclipse.pde.core/.extensions/.manager/.fileTable.7 b/runtime-Eclipse/.metadata/.plugins/org.eclipse.pde.core/.extensions/.manager/.fileTable.7 index 8980761..3daead9 100644 --- a/runtime-Eclipse/.metadata/.plugins/org.eclipse.pde.core/.extensions/.manager/.fileTable.7 +++ b/runtime-Eclipse/.metadata/.plugins/org.eclipse.pde.core/.extensions/.manager/.fileTable.7 @@ -1,5 +1,5 @@ #safe table -#Sun Oct 17 13:18:59 CEST 2021 +#Sun Oct 17 15:48:18 CEST 2021 .orphans=0 .mainData=0 .contributors=0 @@ -7,4 +7,4 @@ .extraData=0 .contributions=0 .table=0 -.crcc560a07a.v1 +.crc6991efe5.v1 diff --git a/runtime-Eclipse/.metadata/.plugins/org.eclipse.pde.core/.extensions/.manager/.fileTable.8 b/runtime-Eclipse/.metadata/.plugins/org.eclipse.pde.core/.extensions/.manager/.fileTable.8 index 39a7fe9..cc49f77 100644 --- a/runtime-Eclipse/.metadata/.plugins/org.eclipse.pde.core/.extensions/.manager/.fileTable.8 +++ b/runtime-Eclipse/.metadata/.plugins/org.eclipse.pde.core/.extensions/.manager/.fileTable.8 @@ -1,5 +1,5 @@ #safe table -#Sun Oct 17 13:18:59 CEST 2021 +#Sun Oct 17 15:48:18 CEST 2021 .orphans=1 .mainData=1 .contributors=1 @@ -7,4 +7,4 @@ .extraData=1 .contributions=1 .table=1 -.crc0a129a41.v1 +.crca6e3d5de.v1 diff --git a/runtime-Eclipse/.metadata/.plugins/org.eclipse.pde.core/.extensions/.table.1 b/runtime-Eclipse/.metadata/.plugins/org.eclipse.pde.core/.extensions/.table.1 index 0a66bfc..1a3ec38 100644 Binary files a/runtime-Eclipse/.metadata/.plugins/org.eclipse.pde.core/.extensions/.table.1 and b/runtime-Eclipse/.metadata/.plugins/org.eclipse.pde.core/.extensions/.table.1 differ diff --git a/runtime-Eclipse/.metadata/.plugins/org.eclipse.pde.core/SavedExternalPluginList.txt b/runtime-Eclipse/.metadata/.plugins/org.eclipse.pde.core/SavedExternalPluginList.txt index e8d0526..ad510a9 100644 --- a/runtime-Eclipse/.metadata/.plugins/org.eclipse.pde.core/SavedExternalPluginList.txt +++ b/runtime-Eclipse/.metadata/.plugins/org.eclipse.pde.core/SavedExternalPluginList.txt @@ -1,4 +1,4 @@ -# List of external plug-in models previously loaded. Timestamp: 1634469245938 +# List of external plug-in models previously loaded. Timestamp: 1634477384239 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 @@ -6,25 +6,25 @@ file:/mnt/n7fs/ens/tp_cregut/eclipse-gls-2020-09/plugins/com.jcraft.jsch_0.1.55. file:/mnt/n7fs/ens/tp_cregut/eclipse-gls-2020-09/plugins/com.sun.el_2.2.0.v201303151357.jar file:/mnt/n7fs/ens/tp_cregut/eclipse-gls-2020-09/plugins/com.sun.jna_4.5.1.v20190425-1842.jar file:/mnt/n7fs/ens/tp_cregut/eclipse-gls-2020-09/plugins/com.sun.jna.platform_4.5.1.v20190425-1842.jar -file:/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/fr.n7.petrinet/ -file:/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/fr.n7.petrinet.edit/ -file:/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/fr.n7.petrinet.editor/ -file:/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/fr.n7.petrinet.tests/ -file:/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/fr.n7.petrinet.toTINA/ -file:/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/fr.n7.petrinet.toTINA.ui/ -file:/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/fr.n7.simplepdl/ -file:/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/fr.n7.simplepdl.edit/ -file:/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/fr.n7.simplepdl.editor/ -file:/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/fr.n7.simplepdl.tests/ -file:/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/fr.n7.simplepdl.toDOT/ -file:/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/fr.n7.simplepdl.toDOT.ui/ -file:/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/fr.n7.simplepdl.toHTML/ -file:/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/fr.n7.simplepdl.toHTML.ui/ -file:/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/fr.n7.simplepdl.txt.pdl/ -file:/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/fr.n7.simplepdl.txt.pdl.ide/ -file:/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/fr.n7.simplepdl.txt.pdl.tests/ -file:/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/fr.n7.simplepdl.txt.pdl.ui/ -file:/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/fr.n7.simplepdl.txt.pdl.ui.tests/ +file:/home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.petrinet/ +file:/home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.petrinet.edit/ +file:/home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.petrinet.editor/ +file:/home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.petrinet.tests/ +file:/home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.petrinet.toTINA/ +file:/home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.petrinet.toTINA.ui/ +file:/home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.simplepdl/ +file:/home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.simplepdl.edit/ +file:/home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.simplepdl.editor/ +file:/home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.simplepdl.tests/ +file:/home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.simplepdl.toDOT/ +file:/home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.simplepdl.toDOT.ui/ +file:/home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.simplepdl.toHTML/ +file:/home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.simplepdl.toHTML.ui/ +file:/home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.simplepdl.txt.pdl/ +file:/home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.simplepdl.txt.pdl.ide/ +file:/home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.simplepdl.txt.pdl.tests/ +file:/home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.simplepdl.txt.pdl.ui/ +file:/home/lfainsin/miniproj_test/eclipse-workspace/fr.n7.simplepdl.txt.pdl.ui.tests/ file:/mnt/n7fs/ens/tp_cregut/eclipse-gls-2020-09/plugins/io.github.classgraph_4.8.35.v20190528-1517.jar file:/mnt/n7fs/ens/tp_cregut/eclipse-gls-2020-09/plugins/javax.annotation_1.3.5.v20200504-1837.jar file:/mnt/n7fs/ens/tp_cregut/eclipse-gls-2020-09/plugins/javax.el_2.2.0.v201303151357.jar diff --git a/runtime-Eclipse/.metadata/version.ini b/runtime-Eclipse/.metadata/version.ini index 1239aaf..f4cb6e7 100644 --- a/runtime-Eclipse/.metadata/version.ini +++ b/runtime-Eclipse/.metadata/version.ini @@ -1,3 +1,3 @@ -#Sun Oct 17 13:14:00 CEST 2021 +#Sun Oct 17 15:29:39 CEST 2021 org.eclipse.core.runtime=2 org.eclipse.platform=4.17.0.v20200902-1800 diff --git a/runtime-Eclipse/fr.n7.petrinet.exemples/src-gen/Developpement.ktz b/runtime-Eclipse/fr.n7.petrinet.exemples/src-gen/Developpement.ktz new file mode 100644 index 0000000..ceae933 Binary files /dev/null and b/runtime-Eclipse/fr.n7.petrinet.exemples/src-gen/Developpement.ktz differ diff --git a/runtime-Eclipse/fr.n7.petrinet.exemples/src-gen/Developpement.net b/runtime-Eclipse/fr.n7.petrinet.exemples/src-gen/Developpement.net index 2098f3c..1b58075 100644 --- a/runtime-Eclipse/fr.n7.petrinet.exemples/src-gen/Developpement.net +++ b/runtime-Eclipse/fr.n7.petrinet.exemples/src-gen/Developpement.net @@ -1,27 +1,27 @@ net Developpement -pl Conception_idle (1) -pl Conception_running (0) -pl Conception_started (0) -pl Conception_finished (0) -pl Programmation_idle (1) -pl Programmation_running (0) -pl Programmation_started (0) -pl Programmation_finished (0) -pl RedactionTests_idle (1) -pl RedactionTests_running (0) -pl RedactionTests_started (0) -pl RedactionTests_finished (0) -pl RedactionDocs_idle (1) -pl RedactionDocs_running (0) -pl RedactionDocs_started (0) -pl RedactionDocs_finished (0) pl Crayon_resource (10) pl Papier_resource (20) +pl Conception_idle (1) +pl Conception_started (0) +pl Conception_running (0) +pl Conception_finished (0) +pl Programmation_idle (1) +pl Programmation_started (0) +pl Programmation_running (0) +pl Programmation_finished (0) +pl RedactionTests_idle (1) +pl RedactionTests_started (0) +pl RedactionTests_running (0) +pl RedactionTests_finished (0) +pl RedactionDocs_idle (1) +pl RedactionDocs_started (0) +pl RedactionDocs_running (0) +pl RedactionDocs_finished (0) tr Conception_start Conception_idle*1 Papier_resource*15 -> Conception_running*1 Conception_started*1 tr Conception_finish Conception_running*1 -> Conception_finished*1 Papier_resource*15 -tr Programmation_start Programmation_idle*1 Conception_finished*1 Papier_resource*15 -> Programmation_running*1 Programmation_started*1 Conception_finished*1 +tr Programmation_start Programmation_idle*1 Papier_resource*15 Conception_finished*1 -> Programmation_running*1 Programmation_started*1 Conception_finished*1 tr Programmation_finish Programmation_running*1 -> Programmation_finished*1 Papier_resource*15 tr RedactionTests_start RedactionTests_idle*1 Conception_started*1 -> RedactionTests_running*1 RedactionTests_started*1 Conception_started*1 tr RedactionTests_finish RedactionTests_running*1 Programmation_finished*1 -> RedactionTests_finished*1 Programmation_finished*1 -tr RedactionDocs_start RedactionDocs_idle*1 Conception_started*1 Papier_resource*5 Crayon_resource*5 -> RedactionDocs_running*1 RedactionDocs_started*1 Conception_started*1 -tr RedactionDocs_finish RedactionDocs_running*1 Conception_finished*1 -> RedactionDocs_finished*1 Conception_finished*1 Papier_resource*5 Crayon_resource*5 +tr RedactionDocs_start RedactionDocs_idle*1 Papier_resource*5 Crayon_resource*5 Conception_started*1 -> RedactionDocs_running*1 RedactionDocs_started*1 Conception_started*1 +tr RedactionDocs_finish RedactionDocs_running*1 Conception_finished*1 -> RedactionDocs_finished*1 Papier_resource*5 Crayon_resource*5 Conception_finished*1 diff --git a/runtime-Eclipse/fr.n7.simplepdl.exemples/developpement.simplepdl b/runtime-Eclipse/fr.n7.simplepdl.exemples/developpement.simplepdl index 01510d1..253e3d4 100644 --- a/runtime-Eclipse/fr.n7.simplepdl.exemples/developpement.simplepdl +++ b/runtime-Eclipse/fr.n7.simplepdl.exemples/developpement.simplepdl @@ -1,12 +1,12 @@ - - - - - - - - - - - + + + + + + + + + + + diff --git a/runtime-Eclipse/fr.n7.simplepdl.exemples/src-gen/developpement.ltl b/runtime-Eclipse/fr.n7.simplepdl.exemples/src-gen/developpement.ltl new file mode 100644 index 0000000..4b73a4a --- /dev/null +++ b/runtime-Eclipse/fr.n7.simplepdl.exemples/src-gen/developpement.ltl @@ -0,0 +1 @@ +[] <> (Conception_finished /\ RedactionDocs_finished /\ Programmation_finished /\ RedactionTests_finished);