search

openETCS / model-evaluation

part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling
13 stars 20 forks source link

How to handle traceability to SRS in Event B model? #7

Closed MERCEmentre closed 11 years ago

MERCEmentre commented 11 years ago

In current Event B formal model, there are not traceability to the SRS. How to you plan to handle this part?

mgudemann commented 11 years ago

The requirements are traced using the ProR pugin and the included ReqIf file, please see the attached screenshot: ReqIfinRodin

This allows to link Event-B artifacts to SRS requirements. Any changes are tracked and signalled in the ProR view.

MERCEmentre commented 11 years ago

Very good! I have installed "ProR Rodin Integration Feature". How can I see this traceability?

mgudemann commented 11 years ago

The ReqIf file does not directly appear in the Event-B explorer, as ProR is a general plugin (from formalmind), not directly developed for Rodin. You must choose the "Resource" view in Rodin and double click on the file "subset-final.reqif" in the Project-Explorer. This will open the file and show a button "Subsection 026, Chapter 3.5". Double clicking this button will open the view as shown in the screenshot.

The current ReqIf does not contain the images and figures from the SRS, but the new ProR version supports OLE objects and figures etc. will be included in a next version of the ReqIf file.

TODO: add this to the description of the model and of the Rodin project import

MERCEmentre commented 11 years ago

When I double click on the "subset-final.reqif" file, Rodin is blocked: no CPU used, Rodin is unresponsive (at least after 5 minutes).

mgudemann commented 11 years ago

Can you please give some details on OS, Java, Rodin, ProR version?

I do not have this problem on Ubuntu 12.04, Rodin 2.7, ProR 0.6.0 and with both OpenJDK (java version "1.7.0_09" OpenJDK Runtime Environment (IcedTea7 2.3.4)) and Oracle JDK (java version "1.7.0_11" Java(TM) SE Runtime Environment (build 1.7.0_11-b21)). Nevertheless, there are some features in the new ProR 0.6.0 which require Java FX2, so please test with a current Oracle JDK if possible.

You can specify the JVM that Rodin will use in the rodin.ini file (see the "-vm" option on http://wiki.eclipse.org/Eclipse.ini)

MERCEmentre commented 11 years ago

I am on Win64 platform. I am using Java 6 Update 39. I am using Rondin 2.7 and ProR 0.6.0.

Here is the detailed configuration: """ *\ Date: mercredi 13 février 2013 15:31:51 Heure normale de l’Europe centrale

*\ Platform Details:

*\ System properties: awt.toolkit=sun.awt.windows.WToolkit eclipse.application=org.eclipse.ui.ide.workbench eclipse.commands=-os win32 -ws win32 -arch x86_64 -showsplash -launcher C:\Users\mentre\Documents\rodin\rodin.exe -name Rodin --launcher.library C:\Users\mentre\Documents\rodin\plugins/org.eclipse.equinox.launcher.win32.win32.x86_64_1.1.100.v20110502\eclipse_1406.dll -startup C:\Users\mentre\Documents\rodin\plugins/org.eclipse.equinox.launcher_1.2.0.v20110502.jar --launcher.overrideVmargs -exitdata 6ac_5c -vm C:\Windows\system32\javaw.exe eclipse.home.location=file:/C:/Users/mentre/Documents/rodin/ eclipse.launcher=C:\Users\mentre\Documents\rodin\rodin.exe eclipse.launcher.name=Rodin eclipse.p2.data.area=@config.dir/../p2/ eclipse.p2.profile=profile eclipse.product=org.rodinp.platform.product eclipse.startTime=1360765887467 eclipse.vm=C:\Windows\system32\javaw.exe eclipse.vmargs=-Xmx512m -XX:MaxPermSize=128m -jar C:\Users\mentre\Documents\rodin\plugins/org.eclipse.equinox.launcher_1.2.0.v20110502.jar equinox.use.ds=true file.encoding=Cp1252 file.encoding.pkg=sun.io file.separator=\ java.awt.graphicsenv=sun.awt.Win32GraphicsEnvironment java.awt.printerjob=sun.awt.windows.WPrinterJob java.class.path=C:\Users\mentre\Documents\rodin\plugins/org.eclipse.equinox.launcher_1.2.0.v20110502.jar java.class.version=50.0 java.endorsed.dirs=C:\Program Files\Java\jre6\lib\endorsed java.ext.dirs=C:\Program Files\Java\jre6\lib\ext;C:\Windows\Sun\Java\lib\ext java.home=C:\Program Files\Java\jre6 java.io.tmpdir=C:\Users\mentre\AppData\Local\Temp\ java.library.path=C:\Windows\system32;C:\Windows\Sun\Java\bin;C:\Windows\system32;C:\Windows;C:\Windows\system32;C:\Windows;C:\Windows\System32\Wbem;C:\Windows\System32\WindowsPowerShell\v1.0\;C:\Program Files\Intel\WiFi\bin\;C:\Program Files\Common Files\Intel\WirelessCommon\;C:\Program Files\ThinkPad\Bluetooth Software\;C:\Program Files\ThinkPad\Bluetooth Software\syswow64;C:\Program Files\Broadcom\WHL\;C:\Program Files\Broadcom\WHL\syswow64;C:\Program Files\Broadcom\WHL\SysWow64\;C:\Program Files\Broadcom\WHL\SysWow64\syswow64;C:\Program Files (x86)\Common Files\Lenovo;C:\SWTOOLS\ReadyApps;C:\Program Files (x86)\Intel\Services\IPT\;C:\Program Files (x86)\Symantec\VIP Access Client\;C:\Program Files (x86)\CheckPoint\fde;C:\Program Files (x86)\Graphviz 2.28\bin;C:\Program Files (x86)\Git\cmd;C:\Tcl\bin;C:\Windows\system32;C:\Windows;C:\Windows\System32\Wbem;C:\Windows\System32\WindowsPowerShell\v1.0\;C:\Program Files\Intel\WiFi\bin\;C:\Program Files\Common Files\Intel\WirelessCommon\;C:\Program Files\ThinkPad\Bluetooth Software\;C:\Program Files\ThinkPad\Bluetooth Software\syswow64;C:\Program Files\Broadcom\WHL\;C:\Program Files\Broadcom\WHL\syswow64;C:\Program Files\Broadcom\WHL\SysWow64\;C:\Program Files\Broadcom\WHL\SysWow64\syswow64;C:\Program Files (x86)\Common Files\Lenovo;C:\SWTOOLS\ReadyApps;C:\Program Files (x86)\Intel\Services\IPT\;C:\Program Files (x86)\Symantec\VIP Access Client\;C:\Program Files (x86)\CheckPoint\fde;C:\Program Files (x86)\Graphviz 2.28\bin;C:\Program Files (x86)\Git\cmd;. java.runtime.name=Java(TM) SE Runtime Environment java.runtime.version=1.6.0_30-b12 java.specification.name=Java Platform API Specification java.specification.vendor=Sun Microsystems Inc. java.specification.version=1.6 java.vendor=Sun Microsystems Inc. java.vendor.url=http://java.sun.com/ java.vendor.url.bug=http://java.sun.com/cgi-bin/bugreport.cgi java.version=1.6.0_30 java.vm.info=mixed mode java.vm.name=Java HotSpot(TM) 64-Bit Server VM java.vm.specification.name=Java Virtual Machine Specification java.vm.specification.vendor=Sun Microsystems Inc. java.vm.specification.version=1.0 java.vm.vendor=Sun Microsystems Inc. java.vm.version=20.5-b03 line.separator=

org.eclipse.equinox.launcher.splash.location=c:\Users\mentre\Documents\rodin\configuration\org.eclipse.equinox.launcher\org.rodinp.platform_2.7.0.r15250\splash.bmp org.eclipse.equinox.simpleconfigurator.configUrl=file:org.eclipse.equinox.simpleconfigurator/bundles.info org.eclipse.update.reconcile=false org.osgi.framework.executionenvironment=OSGi/Minimum-1.0,OSGi/Minimum-1.1,OSGi/Minimum-1.2,JRE-1.1,J2SE-1.2,J2SE-1.3,J2SE-1.4,J2SE-1.5,JavaSE-1.6 org.osgi.framework.language=fr org.osgi.framework.os.name=Windows7 org.osgi.framework.os.version=6.1.0 org.osgi.framework.processor=x86-64 org.osgi.framework.system.capabilities=osgi.ee; osgi.ee="OSGi/Minimum"; version:List="1.0, 1.1, 1.2",osgi.ee; osgi.ee="JavaSE"; version:List="1.0, 1.1, 1.2, 1.3, 1.4, 1.5, 1.6" org.osgi.framework.system.packages=javax.accessibility,javax.activation,javax.activity,javax.annotation,javax.annotation.processing,javax.crypto,javax.crypto.interfaces,javax.crypto.spec,javax.imageio,javax.imageio.event,javax.imageio.metadata,javax.imageio.plugins.bmp,javax.imageio.plugins.jpeg,javax.imageio.spi,javax.imageio.stream,javax.jws,javax.jws.soap,javax.lang.model,javax.lang.model.element,javax.lang.model.type,javax.lang.model.util,javax.management,javax.management.loading,javax.management.modelmbean,javax.management.monitor,javax.management.openmbean,javax.management.relation,javax.management.remote,javax.management.remote.rmi,javax.management.timer,javax.naming,javax.naming.directory,javax.naming.event,javax.naming.ldap,javax.naming.spi,javax.net,javax.net.ssl,javax.print,javax.print.attribute,javax.print.attribute.standard,javax.print.event,javax.rmi,javax.rmi.CORBA,javax.rmi.ssl,javax.script,javax.security.auth,javax.security.auth.callback,javax.security.auth.kerberos,javax.security.auth.login,javax.security.auth.spi,javax.security.auth.x500,javax.security.cert,javax.security.sasl,javax.sound.midi,javax.sound.midi.spi,javax.sound.sampled,javax.sound.sampled.spi,javax.sql,javax.sql.rowset,javax.sql.rowset.serial,javax.sql.rowset.spi,javax.swing,javax.swing.border,javax.swing.colorchooser,javax.swing.event,javax.swing.filechooser,javax.swing.plaf,javax.swing.plaf.basic,javax.swing.plaf.metal,javax.swing.plaf.multi,javax.swing.plaf.synth,javax.swing.table,javax.swing.text,javax.swing.text.html,javax.swing.text.html.parser,javax.swing.text.rtf,javax.swing.tree,javax.swing.undo,javax.tools,javax.transaction,javax.transaction.xa,javax.xml,javax.xml.bind,javax.xml.bind.annotation,javax.xml.bind.annotation.adapters,javax.xml.bind.attachment,javax.xml.bind.helpers,javax.xml.bind.util,javax.xml.crypto,javax.xml.crypto.dom,javax.xml.crypto.dsig,javax.xml.crypto.dsig.dom,javax.xml.crypto.dsig.keyinfo,javax.xml.crypto.dsig.spec,javax.xml.datatype,javax.xml.namespace,javax.xml.parsers,javax.xml.soap,javax.xml.stream,javax.xml.stream.events,javax.xml.stream.util,javax.xml.transform,javax.xml.transform.dom,javax.xml.transform.sax,javax.xml.transform.stax,javax.xml.transform.stream,javax.xml.validation,javax.xml.ws,javax.xml.ws.handler,javax.xml.ws.handler.soap,javax.xml.ws.http,javax.xml.ws.soap,javax.xml.ws.spi,javax.xml.ws.wsaddressing,javax.xml.xpath,org.ietf.jgss,org.omg.CORBA,org.omg.CORBA_2_3,org.omg.CORBA_2_3.portable,org.omg.CORBA.DynAnyPackage,org.omg.CORBA.ORBPackage,org.omg.CORBA.portable,org.omg.CORBA.TypeCodePackage,org.omg.CosNaming,org.omg.CosNaming.NamingContextExtPackage,org.omg.CosNaming.NamingContextPackage,org.omg.Dynamic,org.omg.DynamicAny,org.omg.DynamicAny.DynAnyFactoryPackage,org.omg.DynamicAny.DynAnyPackage,org.omg.IOP,org.omg.IOP.CodecFactoryPackage,org.omg.IOP.CodecPackage,org.omg.Messaging,org.omg.PortableInterceptor,org.omg.PortableInterceptor.ORBInitInfoPackage,org.omg.PortableServer,org.omg.PortableServer.CurrentPackage,org.omg.PortableServer.POAManagerPackage,org.omg.PortableServer.POAPackage,org.omg.PortableServer.portable,org.omg.PortableServer.ServantLocatorPackage,org.omg.SendingContext,org.omg.stub.java.rmi,org.w3c.dom,org.w3c.dom.bootstrap,org.w3c.dom.css,org.w3c.dom.events,org.w3c.dom.html,org.w3c.dom.ls,org.w3c.dom.ranges,org.w3c.dom.stylesheets,org.w3c.dom.traversal,org.w3c.dom.views,org.w3c.dom.xpath,org.xml.sax,org.xml.sax.ext,org.xml.sax.helpers org.osgi.framework.uuid=e0e0420d-ea75-0012-1d38-8b77339c0289 org.osgi.framework.vendor=Eclipse org.osgi.framework.version=1.6.0 org.osgi.supports.framework.extension=true org.osgi.supports.framework.fragment=true org.osgi.supports.framework.requirebundle=true os.arch=amd64 os.name=Windows 7 os.version=6.1 osgi.arch=x86_64 osgi.bundles=reference:file:at.bestsolution.efxclipse.runtime.osgi_0.8.0.201301060332.jar,reference:file:org.eclipse.equinox.simpleconfigurator_1.0.200.v20110815-1438.jar@1:start osgi.bundles.defaultStartLevel=4 osgi.bundlestore=C:\Users\mentre\Documents\rodin\configuration\org.eclipse.osgi\bundles osgi.configuration.area=file:/C:/Users/mentre/Documents/rodin/configuration/ osgi.framework=file:/c:/Users/mentre/Documents/rodin/plugins/org.eclipse.osgi_3.7.2.v20120110-1415.jar osgi.framework.extensions=reference:file:at.bestsolution.efxclipse.runtime.osgi_0.8.0.201301060332.jar osgi.framework.shape=jar osgi.framework.version=3.7.2.v20120110-1415 osgi.frameworkClassPath=., file:c:/Users/mentre/Documents/rodin/plugins/at.bestsolution.efxclipse.runtime.osgi_0.8.0.201301060332.jar osgi.install.area=file:/C:/Users/mentre/Documents/rodin/ osgi.instance.area=file:/C:/Users/mentre/Documents/rodin/workspace/ osgi.logfile=C:\Users\mentre\Documents\rodin\workspace.metadata.log osgi.manifest.cache=C:\Users\mentre\Documents\rodin\configuration\org.eclipse.osgi\manifests osgi.nl=fr_FR osgi.os=win32 osgi.splashLocation=c:\Users\mentre\Documents\rodin\configuration\org.eclipse.equinox.launcher\org.rodinp.platform_2.7.0.r15250\splash.bmp osgi.splashPath=platform:/base/plugins/org.rodinp.platform osgi.syspath=c:\Users\mentre\Documents\rodin\plugins osgi.tracefile=C:\Users\mentre\Documents\rodin\workspace.metadata\trace.log osgi.ws=win32 path.separator=; sun.arch.data.model=64 sun.boot.class.path=C:\Program Files\Java\jre6\lib\resources.jar;C:\Program Files\Java\jre6\lib\rt.jar;C:\Program Files\Java\jre6\lib\sunrsasign.jar;C:\Program Files\Java\jre6\lib\jsse.jar;C:\Program Files\Java\jre6\lib\jce.jar;C:\Program Files\Java\jre6\lib\charsets.jar;C:\Program Files\Java\jre6\lib\modules\jdk.boot.jar;C:\Program Files\Java\jre6\classes sun.boot.library.path=C:\Program Files\Java\jre6\bin sun.cpu.endian=little sun.cpu.isalist=amd64 sun.desktop=windows sun.io.unicode.encoding=UnicodeLittle sun.java.command=C:\Users\mentre\Documents\rodin\plugins/org.eclipse.equinox.launcher_1.2.0.v20110502.jar -os win32 -ws win32 -arch x86_64 -showsplash -launcher C:\Users\mentre\Documents\rodin\rodin.exe -name Rodin --launcher.library C:\Users\mentre\Documents\rodin\plugins/org.eclipse.equinox.launcher.win32.win32.x86_64_1.1.100.v20110502\eclipse_1406.dll -startup C:\Users\mentre\Documents\rodin\plugins/org.eclipse.equinox.launcher_1.2.0.v20110502.jar --launcher.overrideVmargs -exitdata 6ac_5c -vm C:\Windows\system32\javaw.exe -vmargs -Xmx512m -XX:MaxPermSize=128m -jar C:\Users\mentre\Documents\rodin\plugins/org.eclipse.equinox.launcher_1.2.0.v20110502.jar sun.java.launcher=SUN_STANDARD sun.jnu.encoding=Cp1252 sun.management.compiler=HotSpot 64-Bit Tiered Compilers sun.os.patch.level=Service Pack 1 user.country=FR user.dir=C:\Users\mentre\Documents\rodin user.home=C:\Users\mentre user.language=fr user.name=mentre user.timezone=Europe/Paris user.variant=

*\ Features: ac.soton.eventb.statemachines.feature (1.3.1) "iUMLB - Diagrams for Event-B" com.clearsy.atelierb.provers (2.0.1) "Atelier B Provers" fr.systerel.editor (0.6.4.r15250) "Rodin Editor plug-in" org.eclipse.draw2d (3.7.2.v20110927-2020-4617w3122212803131) "Graphical Editing Framework Draw2d" org.eclipse.egit (1.3.0.201202151440-r) "Git Team Provider" org.eclipse.emf.common (2.7.0.v20120127-1122) "EMF Common" org.eclipse.emf.common.ui (2.7.0.v20120130-0943) "EMF Common UI" org.eclipse.emf.compare (1.3.2.v20120918-1125) "EMF Compare core" org.eclipse.emf.ecore (2.7.1.v20120127-1122) "EMF Ecore" org.eclipse.emf.ecore.edit (2.7.1.v20120130-0943) "EMF Ecore Edit" org.eclipse.emf.ecore.editor (2.7.0.v20120130-0943) "EMF Sample Ecore Editor" org.eclipse.emf.edit (2.7.2.v20120130-0943) "EMF Edit" org.eclipse.emf.edit.ui (2.7.0.v20120130-0943) "EMF Edit UI" org.eclipse.emf.transaction (1.5.0.v20110502-1600-377-8s734C3E7D15D6B) "EMF Model Transaction Core" org.eclipse.emf.validation (1.5.0.v20110502-1600-479-9oB56N5BBR6LCA6) "EMF Validation Framework Core" org.eclipse.emf.workspace (1.5.1.v20110823-1800-37708s734D3C7D3CCC1) "EMF Model Transaction Workbench Integration Core" org.eclipse.gef (3.7.2.v20110927-2020-777D381B4Bz0755B465D34242) "Graphical Editing Framework GEF" org.eclipse.gmf (1.5.0.v20110607-1200-7d9Q7HFYnmMEynz0X0qrbsDiK281) "Graphical Modeling Framework" org.eclipse.gmf.runtime.notation (1.5.0.v20110426-2159-378-8s73543B4E1689I) "GMF Notation Model Support" org.eclipse.help (1.3.0.v20110530-0844-7i7uFFmFFl8nvqbDpEqTvx) "Help System Base" org.eclipse.jgit (1.3.0.201202151440-r) "JGit Core" org.eclipse.ocl (3.1.2.v20120206-0606) "OCL (Object Constraint Language) Parser and Interpreter" org.eclipse.platform (3.7.2.v20120207-1839-9gF7UHPDFxGjd-PqDr2jX_4yKaumkoHTz04_q-q) "Eclipse Platform" org.eclipse.rcp (3.7.2.v20120120-1424-9DB5FmnFq5JCf1UA38R-kz0S0272) "Eclipse RCP" org.eclipse.rmf.reqif10.feature (0.6.0.201302071457) "RMF ReqIf Model (Incubation)" org.eclipse.rmf.reqif10.pror.feature (0.6.0.201302071457) "RMF ProR Model (Incubation)" org.eclipse.team.svn (1.0.0.I20121228-1700) "Subversive SVN Team Provider" org.eventb.ide (2.7.0.r15250) "Event-B Modeling Environment" org.polarion.eclipse.team.svn.connector (3.0.0.I20130122-1700) "Subversive SVN Connectors" org.polarion.eclipse.team.svn.connector.svnkit17 (3.0.0.I20130122-1700) "Subversive SVN 1.7 SVN Kit Connector" org.rodinp (1.6.0.r15250) "Rodin Modeling Core" org.rodinp.platform (2.7.0.r15250) "Rodin Platform"

*** Plug-in Registry: ac.soton.eventb.emf.core.extension (2.0.0) "Event-B EMF Support for Modelling Extensions - Model" [Active] ac.soton.eventb.emf.core.extension.navigator (2.0.0) "Event-B EMF Support for Modelling Extensions - Navigator" [Active] ac.soton.eventb.emf.core.extension.persistence (1.1.1) "Event-B EMF Support for Modelling Extensions - Persistence" [Starting] ac.soton.eventb.emf.diagrams (2.0.0) "Event-B GMF Support for Diagrams - Model" [Active] ac.soton.eventb.emf.diagrams.edit (1.0.3) "Event-B GMF Support for Diagrams - Edit" [Active] ac.soton.eventb.emf.diagrams.generator (3.1.0) "pluginName" [Starting] ac.soton.eventb.emf.diagrams.navigator (1.2.0) "Event-B GMF Support for Diagrams - Navigator" [Starting] ac.soton.eventb.statemachines (1.1.0) "iUMLB State-Machines - Model" [Active] ac.soton.eventb.statemachines.diagram (1.2.0) "iUMLB State-Machines - Diagram" [Starting] ac.soton.eventb.statemachines.edit (1.1.0) "iUMLB State-Machines - Edit" [Active] ac.soton.eventb.statemachines.navigator (1.2.0) "iUMLB State-Machines - Navigator" [Active] ac.soton.eventb.statemachines.persistence (1.1.0) "iUMLB State-Machines - Persistence" [Starting] ac.soton.eventb.statemachines.transformation (1.3.1) "iUMLB State-Machines - Transformation" [Starting] ac.soton.iumlb.branding (1.0.0) "iUMLB - Diagrams for Event-B" [Resolved] at.bestsolution.efxclipse.runtime.javafx (2.2.0.201301060332) "Fake bundle for Javafx" [Installed] at.bestsolution.efxclipse.runtime.osgi (0.8.0.201301060332) "OSGi integration for JavaFX" [Resolved] at.bestsolution.efxclipse.runtime.workbench3 (0.8.0.201301060332) "3.x Workbench Integration" [Installed] ch.ethz.eventb.keyboard.latex (1.0.0.r15250) "Event-B Keyboard (LaTeX-style)" [Resolved] com.clearsy.atelierb.provers (1.2.0) "Atelier B Provers" [Resolved] com.clearsy.atelierb.provers.core (1.3.0) "Atelier B Provers Core Plug-in" [Starting] com.clearsy.atelierb.provers.core.win32 (2.0.1) "Atelier B provers for Windows" [Resolved] com.clearsy.atelierb.provers.ui (1.2.2) "Atelier B Provers UI Plug-in" [Resolved] com.formalmind.pror.essentials.registration (0.6.0.201302081332) "Formal Mind Registration" [Active] com.formalmind.rmf.reqif10.pror.diff (0.6.0.201302081332) "ProR Diff Support" [Starting] com.formalmind.rmf.reqif10.pror.diff.edit (0.6.0.201302081332) "ProR Diff Support (Item Provider)" [Starting] com.formalmind.rmf.reqif10.pror.presentation.highlight (0.6.0.201302081332) "ProR Highlight Presentation" [Resolved] com.formalmind.rmf.reqif10.pror.presentation.linkmanagement (0.6.0.201302081332) "ProR Linkmanagement Presentation" [Active] com.formalmind.rmf.reqif10.pror.presentation.rodin (0.6.0.201302081332) "ProR Rodin Presentation" [Active] com.formalmind.rmf.reqif10.pror.presentation.rtf (0.6.0.201302081332) "ProR Xhtml Rtf Presentation" [Installed] com.formalmind.rmf.reqif10.pror.team (0.6.0.201302081332) "ProR Team Support" [Active] com.google.guava (10.0.1.v201203051515) "Guava: Google Core Libraries for Java 1.5" [Resolved] com.ibm.icu (4.4.2.v20110823) "International Components for Unicode for Java (ICU4J)" [Active] com.jcraft.jsch (0.1.44.v201101211721) "JSch" [Resolved] de.bmotionstudio.gef.editor (5.4.2.201211271439) "BMotion Studio Editor Plug-in" [Starting] de.bmotionstudio.rodin (1.1.0.201211271439) "BMotion Studio Rodin Integration" [Resolved] de.prob.core (9.3.0.201211271439) "ProB Animator Core" [Active] de.prob.plugin (2.2.0.201211271439) "ProB Rodin2 UI Bindings" [Resolved] de.prob.ui (7.3.0.201211271439) "ProB Ui Plug-in" [Active] fr.systerel.editor (0.6.4.r15250) "Rodin Editor plug-in" [Starting] fr.systerel.editor.help (0.6.0.r15250) "Rodin Editor Help" [Resolved] fr.systerel.explorer (1.3.3.r15250) "Event-B Explorer Plug-in" [Active] javax.servlet (2.5.0.v201103041518) "Servlet API Bundle" [Resolved] javax.servlet.jsp (2.0.0.v201101211617) "Java Server Pages API Bundle" [Resolved] javax.xml (1.3.4.v201005080400) "JAXP XML" [Resolved] lpg.runtime.java (2.0.17.v201004271640) "SourceForge LPG Java Runtime" [Resolved] org.agilemore.agilegrid (1.3.1) "Agile Grid Plug-in (for Eclipse RMF)" [Resolved] org.apache.ant (1.8.2.v20120109-1030) "Apache Ant" [Resolved] org.apache.batik.bridge (1.6.0.v201011041432) "Apache Batik Bridge/GVT/Scripting" [Resolved] org.apache.batik.css (1.6.0.v201011041432) "Apache Batik CSS" [Resolved] org.apache.batik.dom (1.6.0.v201011041432) "Apache Batik DOM" [Resolved] org.apache.batik.dom.svg (1.6.0.v201011041432) "Apache Batik SVG DOM" [Resolved] org.apache.batik.ext.awt (1.6.0.v201011041432) "Apache Batik AWT Utilities" [Resolved] org.apache.batik.parser (1.6.0.v201011041432) "Apache Batik Parser" [Resolved] org.apache.batik.pdf (1.6.0.v201105071520) "Apache Batik PDF" [Resolved] org.apache.batik.svggen (1.6.0.v201011041432) "Apache Batik SVG Generation" [Resolved] org.apache.batik.transcoder (1.6.0.v201011041432) "Apache Batik Transcoder" [Resolved] org.apache.batik.util (1.6.0.v201011041432) "Apache Batik Utilities" [Resolved] org.apache.batik.util.gui (1.6.0.v201011041432) "Apache Batik GUI Utilities" [Resolved] org.apache.batik.xml (1.6.0.v201011041432) "Apache Batik XML" [Resolved] org.apache.commons.codec (1.3.0.v201101211617) "Apache Commons Codec Plug-in" [Resolved] org.apache.commons.el (1.0.0.v201101211617) "Apache Commons JSP 2.0 Expression Language Interpreter" [Resolved] org.apache.commons.httpclient (3.1.0.v201012070820) "Apache Commons Httpclient" [Resolved] org.apache.commons.logging (1.0.4.v201101211617) "Apache Commons Logging Plug-in" [Resolved] org.apache.jasper (5.5.17.v201101211617) "Apache Jasper 2 Plug-in" [Resolved] org.apache.lucene (2.9.1.v201101211721) "Apache Lucene" [Resolved] org.apache.lucene.analysis (2.9.1.v201101211721) "Apache Lucene Analysis" [Resolved] org.apache.lucene.core (2.9.1.v201101211721) "Apache Lucene Core" [Resolved] org.apache.lucene.highlighter (2.9.1.v20100421-0704) "Apache Lucene Highlighter" [Resolved] org.apache.lucene.memory (2.9.1.v20100421-0704) "Apache Lucene Memory" [Resolved] org.apache.lucene.misc (2.9.1.v20100421-0704) "Apache Lucene Misc" [Resolved] org.apache.lucene.queries (2.9.1.v20100421-0704) "Apache Lucene Queries" [Resolved] org.apache.lucene.snowball (2.9.1.v20100421-0704) "Apache Lucene Snowball" [Resolved] org.apache.lucene.spellchecker (2.9.1.v20100421-0704) "Apache Lucene Spellchecker" [Resolved] org.apache.xerces (2.9.0.v201101211617) "Apache Xerces-J" [Resolved] org.apache.xml.resolver (1.2.0.v201005080400) "Apache XmlResolver" [Resolved] org.apache.xml.serializer (2.7.1.v201005080400) "Apache XML Commons Serializer" [Resolved] org.eclipse.ant.core (3.2.302.v20120110-1739) "Ant Build Tool Core" [Starting] org.eclipse.compare (3.5.202.R37x_v20111109-0800) "Compare Support" [Active] org.eclipse.compare.core (3.5.200.I20110208-0800) "Core Compare Support" [Active] org.eclipse.compare.win32 (1.0.200.I20110510-0800) "Compare Support for Word" [Starting] org.eclipse.core.boot (3.1.200.v20100505) "Core Boot" [Starting] org.eclipse.core.commands (3.6.0.I20110111-0800) "Commands" [Resolved] org.eclipse.core.contenttype (3.4.100.v20110423-0524) "Eclipse Content Mechanism" [Active] org.eclipse.core.databinding (1.4.0.I20110111-0800) "JFace Data Binding" [Starting] org.eclipse.core.databinding.beans (1.2.100.I20100824-0800) "JFace Data Binding for JavaBeans" [Resolved] org.eclipse.core.databinding.observable (1.4.0.I20110222-0800) "JFace Data Binding Observables" [Active] org.eclipse.core.databinding.property (1.4.0.I20110222-0800) "JFace Data Binding" [Starting] org.eclipse.core.expressions (3.4.300.v20110228) "Expression Language" [Active] org.eclipse.core.externaltools (1.0.100.v20111007_r372) "External Tools Headless Support" [Starting] org.eclipse.core.filebuffers (3.5.200.v20110928-1504) "File Buffers" [Starting] org.eclipse.core.filesystem (1.3.100.v20110423-0524) "Core File Systems" [Active] org.eclipse.core.filesystem.win32.x86_64 (1.1.300.v20110423-0524) "Core File System for Windows 64 bit" [Resolved] org.eclipse.core.jobs (3.5.101.v20120113-1953) "Eclipse Jobs Mechanism" [Active] org.eclipse.core.net (1.2.100.I20110511-0800) "Internet Connection Management" [Active] org.eclipse.core.net.win32.x86_64 (1.0.100.I20110331-0827) "Proxy for Windows" [Resolved] org.eclipse.core.resources (3.7.101.v20120125-1505) "Core Resource Management" [Active] org.eclipse.core.runtime (3.7.0.v20110110) "Core Runtime" [Active] org.eclipse.core.runtime.compatibility (3.2.100.v20100505) "Core Runtime Plug-in Compatibility" [Active] org.eclipse.core.runtime.compatibility.auth (3.2.200.v20110110) "Authorization Compatibility Plug-in" [Active] org.eclipse.core.runtime.compatibility.registry (3.5.0.v20110505) "Eclipse Registry Compatibility Fragment" [Resolved] org.eclipse.core.variables (3.2.500.v20110928-1503) "Core Variables" [Starting] org.eclipse.debug.core (3.7.1.v20111129-2031) "Debug Core" [Starting] org.eclipse.debug.ui (3.7.102.v20111129-1423_r372) "Debug UI" [Starting] org.eclipse.draw2d (3.7.2.v20111017-2020) "Graphical Editing Framework Draw2d" [Starting] org.eclipse.ecf (3.1.300.v20110531-2218) "ECF Core API" [Starting] org.eclipse.ecf.filetransfer (5.0.0.v20110531-2218) "ECF Filetransfer API" [Starting] org.eclipse.ecf.identity (3.1.100.v20110531-2218) "ECF Core Identity API" [Starting] org.eclipse.ecf.provider.filetransfer (3.2.0.v20110531-2218) "ECF Filetransfer Provider" [Starting] org.eclipse.ecf.provider.filetransfer.httpclient (4.0.0.v20110531-2218) "ECF HttpClient Filetransfer Provider" [Starting] org.eclipse.ecf.provider.filetransfer.httpclient.ssl (1.0.0.v20110531-2218) "ECF HttpClient Filetransfer Provider" [Resolved] org.eclipse.ecf.provider.filetransfer.ssl (1.0.0.v20110531-2218) "ECF Filetransfer Provider" [Resolved] org.eclipse.ecf.ssl (1.0.100.v20110531-2218) "ECF Core API" [Resolved] org.eclipse.egit (1.3.0.201202151440-r) "Git Team Provider" [Starting] org.eclipse.egit.core (1.3.0.201202151440-r) "Git Team Provider Core" [Active] org.eclipse.egit.doc (1.3.0.201202151440-r) "Git Team Provider Documentation" [Resolved] org.eclipse.egit.ui (1.3.0.201202151440-r) "Git Team Provider UI" [Active] org.eclipse.emf.common (2.7.0.v20120127-1122) "EMF Common" [Active] org.eclipse.emf.common.ui (2.7.0.v20120130-0943) "EMF Common UI" [Active] org.eclipse.emf.compare (1.3.2.v20120918-1125) "EMF Compare core" [Starting] org.eclipse.emf.compare.diff (1.3.2.v20120918-1125) "EMF Compare differencer" [Active] org.eclipse.emf.compare.diff.edit (1.3.2.v20120918-1125) "Diff Edit Support" [Starting] org.eclipse.emf.compare.epatch (1.3.2.v20120918-1125) "EPatch Plugin" [Resolved] org.eclipse.emf.compare.match (1.3.2.v20120918-1125) "EMF Compare matcher" [Starting] org.eclipse.emf.compare.ui (1.3.2.v20120918-1125) "EMF Compare UI" [Starting] org.eclipse.emf.ecore (2.7.0.v20120127-1122) "EMF Ecore" [Active] org.eclipse.emf.ecore.change (2.7.1.v20120127-1122) "EMF Change Model" [Starting] org.eclipse.emf.ecore.change.edit (2.5.0.v20120130-0943) "EMF Change Edit" [Starting] org.eclipse.emf.ecore.edit (2.7.1.v20120130-0943) "EMF Ecore Edit" [Active] org.eclipse.emf.ecore.editor (2.7.0.v20120130-0943) "EMF Sample Ecore Editor" [Starting] org.eclipse.emf.ecore.xmi (2.7.0.v20120127-1122) "EMF XML/XMI Persistence" [Active] org.eclipse.emf.edit (2.7.2.v20120130-0943) "EMF Edit" [Active] org.eclipse.emf.edit.ui (2.7.0.v20120130-0943) "EMF Edit UI" [Starting] org.eclipse.emf.transaction (1.4.0.v20100331-1738) "EMF Model Transaction Core" [Starting] org.eclipse.emf.transaction.ui (1.4.0.v20090819-1300) "EMF Model Transaction UI" [Starting] org.eclipse.emf.validation (1.4.0.v20100428-2315) "EMF Validation Framework Core" [Starting] org.eclipse.emf.validation.ui (1.3.0.v200901271722) "EMF Validation Framework UI" [Starting] org.eclipse.emf.validation.ui.ide (1.3.0.v200901271722) "EMF Validation Framework UI IDE" [Starting] org.eclipse.emf.workspace (1.5.1.v20110823-1800) "EMF Model Transaction Workbench Integration Core" [Starting] org.eclipse.emf.workspace.ui (1.3.0.v200901271819) "EMF Model Transaction Workbench Integration UI" [Starting] org.eclipse.equinox.app (1.3.100.v20110321) "Equinox Application Container" [Active] org.eclipse.equinox.common (3.6.0.v20110523) "Common Eclipse Runtime" [Active] org.eclipse.equinox.concurrent (1.0.200.v20110502) "Equinox Concurrent API" [Starting] org.eclipse.equinox.ds (1.3.1.R37x_v20110701) "Declarative Services" [Active] org.eclipse.equinox.event (1.2.100.v20110502) "Event Admin" [Starting] org.eclipse.equinox.frameworkadmin (2.0.0.v20110815-1438) "Equinox Framework Admin" [Starting] org.eclipse.equinox.frameworkadmin.equinox (1.0.300.v20110815-1438) "Equinox Framework Admin for Equinox" [Starting] org.eclipse.equinox.http.jetty (2.0.100.v20110502) "Jetty Http Service" [Starting] org.eclipse.equinox.http.registry (1.1.100.v20110502) "Http Service Registry Extensions" [Resolved] org.eclipse.equinox.http.servlet (1.1.200.v20110502) "Http Services Servlet" [Starting] org.eclipse.equinox.jsp.jasper (1.0.300.v20110502) "Jasper Jsp Support Bundle" [Starting] org.eclipse.equinox.jsp.jasper.registry (1.0.200.v20100503) "Jasper Jsp Registry Support Plug-in" [Starting] org.eclipse.equinox.launcher (1.2.0.v20110502) "Equinox Launcher" [Resolved] org.eclipse.equinox.launcher.win32.win32.x86_64 (1.1.100.v20110502) "Equinox Launcher Win32 X86_64 Fragment" [Resolved] org.eclipse.equinox.p2.artifact.repository (1.1.101.v20110815-1419) "Equinox Provisioning Artifact Repository Support" [Starting] org.eclipse.equinox.p2.console (1.0.300.v20110815-1419) "Equinox Provisioning Console" [Starting] org.eclipse.equinox.p2.core (2.1.1.v20120113-1346) "Equinox Provisioning Core" [Active] org.eclipse.equinox.p2.director (2.1.1.v20111126-0211) "Equinox Provisioning Director" [Starting] org.eclipse.equinox.p2.director.app (1.0.300.v20111126-0153) "Equinox Provisioning Director Application" [Starting] org.eclipse.equinox.p2.directorywatcher (1.0.300.v20110815-1419) "Equinox Provisioning Directory Watcher" [Active] org.eclipse.equinox.p2.engine (2.1.1.R37x_v20111003) "Equinox Provisioning Engine" [Active] org.eclipse.equinox.p2.extensionlocation (1.2.100.v20110815-1419) "Equinox Provisioning Extension Location Repository Support" [Starting] org.eclipse.equinox.p2.garbagecollector (1.0.200.v20110815-1419) "Equinox Provisioning Garbage Collector" [Starting] org.eclipse.equinox.p2.jarprocessor (1.0.200.v20110815-1438) "Equinox Provisioning JAR Processor" [Resolved] org.eclipse.equinox.p2.metadata (2.1.0.v20110815-1419) "Equinox Provisioning Metadata" [Active] org.eclipse.equinox.p2.metadata.repository (1.2.0.v20110815-1419) "Equinox Provisioning Metadata Repository" [Active] org.eclipse.equinox.p2.operations (2.1.1.R37x_v20111111) "Equinox Provisioning Operations API" [Active] org.eclipse.equinox.p2.publisher (1.2.0.v20110815-1419) "Equinox Provisioning Publisher Infrastructure" [Starting] org.eclipse.equinox.p2.publisher.eclipse (1.0.0.v20110815-1438) "Equinox Provisioning Publisher for Eclipse" [Starting] org.eclipse.equinox.p2.ql (2.0.100.v20110815-1419) "Equinox Provisioning p2 query language" [Starting] org.eclipse.equinox.p2.reconciler.dropins (1.1.100.v20110815-1419) "Equinox Provisioning Drop-in" [Active] org.eclipse.equinox.p2.repository (2.1.1.v20120113-1346) "Equinox Provisioning Repository" [Active] org.eclipse.equinox.p2.repository.tools (2.0.100.v20110815-1438) "Equinox Provisioning Repository Tools" [Starting] org.eclipse.equinox.p2.touchpoint.eclipse (2.1.1.v20110815-1419) "Equinox Provisioning Eclipse Touchpoint" [Starting] org.eclipse.equinox.p2.touchpoint.natives (1.0.300.v20110815-1419) "Equinox Provisioning Native Touchpoint" [Starting] org.eclipse.equinox.p2.transport.ecf (1.0.0.v20111128-0624) "Equinox Provisioning ECF based Transport" [Starting] org.eclipse.equinox.p2.ui (2.1.1.v20120113-1346) "Equinox Provisioning UI Support" [Active] org.eclipse.equinox.p2.ui.importexport (1.0.1.R37x_v20111103) "Equinox Provisioning Import and Export" [Starting] org.eclipse.equinox.p2.ui.sdk (1.0.200.v20110815-1419) "Equinox Provisioning Platform Update Support" [Active] org.eclipse.equinox.p2.ui.sdk.scheduler (1.0.100.v20110815-1419) "Equinox Provisioning Platform Automatic Update Support" [Active] org.eclipse.equinox.p2.updatechecker (1.1.200.v20110815-1419) "Equinox Provisioning Update Checker" [Active] org.eclipse.equinox.p2.updatesite (1.0.300.v20110815-1419) "Equinox Provisioning Legacy Update Site Support" [Starting] org.eclipse.equinox.preferences (3.4.2.v20120111-2020) "Eclipse Preferences Mechanism" [Active] org.eclipse.equinox.registry (3.5.101.R37x_v20110810-1611) "Extension Registry Support" [Active] org.eclipse.equinox.security (1.1.1.R37x_v20110822-1018) "Equinox Java Authentication and Authorization Service (JAAS)" [Active] org.eclipse.equinox.security.ui (1.1.0.v20101004) "Equinox Security Default UI" [Starting] org.eclipse.equinox.security.win32.x86_64 (1.0.0.v20110502) "Windows Data Protection services integration (64 bit)" [Resolved] org.eclipse.equinox.simpleconfigurator (1.0.200.v20110815-1438) "Simple Configurator" [Active] org.eclipse.equinox.simpleconfigurator.manipulator (2.0.0.v20110815-1438) "Simple Configurator Manipulator" [Starting] org.eclipse.equinox.util (1.0.300.v20110502) "Equinox Util Bundle" [Active] org.eclipse.gef (3.7.2.v20111106-2020) "Graphical Editing Framework GEF" [Starting] org.eclipse.gmf (1.4.1.v20100716-2230) "Graphical Modeling Framework" [Starting] org.eclipse.gmf.runtime.common.core (1.4.1.v20101119-2230) "GMF Common Core" [Starting] org.eclipse.gmf.runtime.common.ui (1.5.0.v20101221-2230) "GMF Common UI" [Starting] org.eclipse.gmf.runtime.common.ui.action (1.5.0.v20110607-1200) "GMF Common UI Action" [Starting] org.eclipse.gmf.runtime.common.ui.action.ide (1.5.0.v20101221-2230) "GMF Common UI Action IDE" [Starting] org.eclipse.gmf.runtime.common.ui.printing (1.4.0.v20100223-2359) "GMF Printing" [Starting] org.eclipse.gmf.runtime.common.ui.printing.win32 (1.4.0.v20100223-2359) "GMF Printing for Win32" [Resolved] org.eclipse.gmf.runtime.common.ui.services (1.3.1.v20101118-2230) "GMF Common UI Services" [Starting] org.eclipse.gmf.runtime.common.ui.services.action (1.4.0.v20100430-1518) "GMF Common UI Action Services" [Starting] org.eclipse.gmf.runtime.common.ui.services.dnd (1.5.0.v20101221-2230) "GMF Common UI DND Services" [Starting] org.eclipse.gmf.runtime.common.ui.services.dnd.ide (1.5.0.v20101221-2230) "GMF Common UI DND IDE Services" [Starting] org.eclipse.gmf.runtime.common.ui.services.properties (1.3.1.v20101221-2230) "GMF Common UI Properties Service Framework" [Starting] org.eclipse.gmf.runtime.diagram.core (1.4.1.v20101221-2230) "GMF Diagram Core" [Starting] org.eclipse.gmf.runtime.diagram.ui (1.5.0.v20110309-2230) "GMF Diagram UI" [Starting] org.eclipse.gmf.runtime.diagram.ui.actions (1.4.1.v20101221-2230) "GMF Diagram Actions" [Starting] org.eclipse.gmf.runtime.diagram.ui.dnd (1.2.0.v20090403-1720) "GMF Diagram Browse" [Starting] org.eclipse.gmf.runtime.diagram.ui.geoshapes (1.4.1.v20101119-2230) "GMF Geometric Shapes" [Starting] org.eclipse.gmf.runtime.diagram.ui.printing (1.4.1.v20101119-2230) "GMF Diagram Printing" [Starting] org.eclipse.gmf.runtime.diagram.ui.printing.render (1.4.1.v20101119-2230) "GMF Diagram UI Printing Render Plug-In" [Starting] org.eclipse.gmf.runtime.diagram.ui.properties (1.4.2.v20101129-2230) "GMF Diagram UI Properties" [Starting] org.eclipse.gmf.runtime.diagram.ui.providers (1.5.0.v20110216-2230) "GMF Diagram Providers" [Starting] org.eclipse.gmf.runtime.diagram.ui.providers.ide (1.2.0.v20090403-1720) "GMF Diagram Providers IDE" [Starting] org.eclipse.gmf.runtime.diagram.ui.render (1.4.1.v20101119-2230) "GMF Diagram UI Render Plug-In" [Starting] org.eclipse.gmf.runtime.diagram.ui.resources.editor (1.4.1.v20101119-2230) "GMF Diagram UI Resources Editor Plug-In" [Starting] org.eclipse.gmf.runtime.diagram.ui.resources.editor.ide (1.2.1.v20101119-2230) "GMF IDE Editor" [Starting] org.eclipse.gmf.runtime.draw2d.ui (1.5.0.v20110505-2230) "GMF Draw2d Additions" [Starting] org.eclipse.gmf.runtime.draw2d.ui.render (1.4.1.v20101119-2230) "GMF Draw2d Image Rendering Additions" [Starting] org.eclipse.gmf.runtime.draw2d.ui.render.awt (1.4.1.v20101222-2230) "GMF Draw2d Image AWT based Rendering Additions" [Starting] org.eclipse.gmf.runtime.emf.clipboard.core (1.5.0.v20110529-2230) "GMF EMF Clipboard Support" [Starting] org.eclipse.gmf.runtime.emf.commands.core (1.4.0.v20100423-2359) "GMF Commands" [Starting] org.eclipse.gmf.runtime.emf.core (1.4.1.v20101222-2230) "GMF Modeling Service Layer" [Starting] org.eclipse.gmf.runtime.emf.type.core (1.4.0.v20100423-2359) "GMF EMF Type Core" [Starting] org.eclipse.gmf.runtime.emf.type.ui (1.2.0.v20090403-1720) "GMF EMF Type UI" [Starting] org.eclipse.gmf.runtime.emf.ui (1.2.0.v20090403-1720) "GMF MSL UI" [Starting] org.eclipse.gmf.runtime.emf.ui.properties (1.5.0.v20101222-2230) "GMF EMF UI Properties Providers" [Starting] org.eclipse.gmf.runtime.gef.ui (1.4.1.v20101222-2230) "GMF GEF Additions" [Starting] org.eclipse.gmf.runtime.notation (1.5.0.v20110309-2159) "GMF Notation Model Support" [Starting] org.eclipse.gmf.runtime.notation.edit (1.4.0.v20100512-1416) "GMF Notation Edit Support" [Starting] org.eclipse.gmf.runtime.notation.providers (1.3.0.v20100115-2350) "GMF Notation Metamodel" [Starting] org.eclipse.help (3.5.100.v20110426) "Help System Core" [Active] org.eclipse.help.appserver (3.1.400.v20110425) "Help Application Server" [Starting] org.eclipse.help.base (3.6.2.v201202080800) "Help System Base" [Starting] org.eclipse.help.ui (3.5.101.r37_20110819) "Help System UI" [Starting] org.eclipse.help.webapp (3.6.1.r37_20110929) "Help System Webapp" [Starting] org.eclipse.jface (3.7.0.v20110928-1505) "JFace" [Active] org.eclipse.jface.databinding (1.5.0.I20100907-0800) "JFace Data Binding for SWT and JFace" [Resolved] org.eclipse.jface.text (3.7.2.v20111213-1208) "JFace Text" [Resolved] org.eclipse.jgit (1.3.0.201202151440-r) "JGit Core" [Active] org.eclipse.jsch.core (1.1.300.I20110514-0800) "JSch Core" [Active] org.eclipse.jsch.ui (1.1.300.R37x_v20111201-1600) "JSch UI" [Starting] org.eclipse.ltk.core.refactoring (3.5.201.r372_v20111101-0700) "Refactoring Core" [Starting] org.eclipse.ltk.ui.refactoring (3.6.0.v20110928-1453) "Refactoring UI" [Starting] org.eclipse.m2m.qvt.oml (3.1.0.v20110518-1530) "QVT Operational Compiler and Interpreter" [Starting] org.eclipse.m2m.qvt.oml.common (3.1.0.v20110518-1530) "QVT Operational Common" [Starting] org.eclipse.m2m.qvt.oml.cst.parser (3.1.0.v20101214-1530) "QVT Operational Parser" [Starting] org.eclipse.m2m.qvt.oml.ecore.imperativeocl (3.1.0.v20101214-1530) "QVT Operational Ecore-based ImperativeOCL Model" [Starting] org.eclipse.m2m.qvt.oml.emf.util (3.1.0.v20110627-1530) "QVT Operational EMF Utilities" [Starting] org.eclipse.m2m.qvt.oml.project (3.1.0.v20101214-1530) "QVT Operational Project" [Starting] org.eclipse.m2m.qvt.oml.runtime (3.1.0.v20110627-1530) "QVT Operational Runtime" [Starting] org.eclipse.mylyn.wikitext.core (1.5.1.v20110720-0100) "Mylyn WikiText" [Starting] org.eclipse.mylyn.wikitext.mediawiki.core (1.5.2.v20110830-0100) "Mylyn WikiText MediaWiki" [Resolved] org.eclipse.ocl (3.1.0.v20120206-0606) "OCL (Object Constraint Language) Parser and Interpreter" [Starting] org.eclipse.ocl.ecore (3.1.2.v20111015-2027) "OCL for Ecore" [Starting] org.eclipse.osgi (3.7.2.v20120110-1415) "OSGi System Bundle" [Active] org.eclipse.osgi.services (3.3.0.v20110513) "OSGi Release 4.2.0 Services" [Resolved] org.eclipse.osgi.util (3.2.200.v20110110) "OSGi Release 4.2.0 Utility Classes" [Resolved] org.eclipse.platform (3.7.2.v201202080800) "Eclipse Platform" [Resolved] org.eclipse.platform.doc.user (3.7.1.r372_v20111202) "Eclipse Workbench User Guide" [Resolved] org.eclipse.rcp (3.7.2.v201202080800) "Eclipse RCP" [Starting] org.eclipse.rmf.reqif10 (0.6.0.201302071457) "RMF ReqIf Model (Incubation)" [Active] org.eclipse.rmf.reqif10.common (0.6.0.201302071457) "RMF ReqIf Model Common (Incubation)" [Starting] org.eclipse.rmf.reqif10.pror (0.6.0.201302071457) "RMF ProR Model (Incubation)" [Resolved] org.eclipse.rmf.reqif10.pror.edit (0.6.0.201302071457) "RMF ProR Edit Support (Incubation)" [Active] org.eclipse.rmf.reqif10.pror.editor (0.6.0.201302071457) "RMF ProR Editor (Incubation)" [Active] org.eclipse.rmf.reqif10.pror.help.ui (0.6.0.201302071457) "RMF ProR Help (Incubation)" [Resolved] org.eclipse.rmf.reqif10.pror.presentation.headline (0.6.0.201302071457) "RMF ProR Headline Presentation (Incubation)" [Active] org.eclipse.rmf.reqif10.pror.presentation.id (0.6.0.201302071457) "RMF ProR ID Presentation (Incubation)" [Active] org.eclipse.rmf.reqif10.pror.presentation.linewrap (0.6.0.201302071457) "RMF ProR Linewrap Presentation (Incubation)" [Active] org.eclipse.rmf.serialization (0.6.0.201302071457) "RMF Serialization (Incubation)" [Starting] org.eclipse.search (3.7.0.v20110928-1504) "Search Support" [Starting] org.eclipse.swt (3.7.2.v3740f) "Standard Widget Toolkit" [Resolved] org.eclipse.swt.win32.win32.x86_64 (3.7.2.v3740f) "Standard Widget Toolkit for Windows" [Resolved] org.eclipse.team.core (3.6.0.I20110525-0800) "Team Support Core" [Active] org.eclipse.team.svn (1.0.0.I20121228-1700) "Subversive SVN Team Provider" [Resolved] org.eclipse.team.svn.core (1.0.0.I20121228-1700) "Subversive SVN Team Provider Core Plug-in" [Active] org.eclipse.team.svn.help (1.0.0.I20120818-1700) "Subversive SVN Team Provider User Guide Plug-in" [Resolved] org.eclipse.team.svn.ui (1.0.0.I20121228-1700) "Subversive SVN Team Provider UI Plug-in" [Active] org.eclipse.team.ui (3.6.101.R37x_v20111109-0800) "Team Support UI" [Active] org.eclipse.text (3.5.101.v20110928-1504) "Text" [Resolved] org.eclipse.ui (3.7.0.v20110928-1505) "Eclipse UI" [Active] org.eclipse.ui.browser (3.3.101.v20111019-1723) "Browser Support" [Starting] org.eclipse.ui.cheatsheets (3.4.100.v20110425) "Cheat Sheets" [Starting] org.eclipse.ui.console (3.5.100.v20111007_r372) "Console" [Starting] org.eclipse.ui.editors (3.7.0.v20110928-1504) "Default Text Editor" [Starting] org.eclipse.ui.externaltools (3.2.0.v20111007_r372) "External Tools" [Starting] org.eclipse.ui.forms (3.5.101.v20111011-1919) "Eclipse Forms" [Active] org.eclipse.ui.ide (3.7.0.v20110928-1505) "Eclipse IDE UI" [Active] org.eclipse.ui.ide.application (1.0.300.I20110306-2000) "Eclipse IDE UI Application" [Resolved] org.eclipse.ui.intro (3.4.100.v20110425) "Welcome Framework" [Starting] org.eclipse.ui.intro.universal (3.2.500.v20110510) "Universal Welcome" [Starting] org.eclipse.ui.navigator (3.5.101.v20120106-1355) "Common Navigator View" [Active] org.eclipse.ui.navigator.resources (3.4.300.v20110928-1505) "Navigator Workbench Components" [Active] org.eclipse.ui.net (1.2.100.v20111208-1155) "Internet Connection Management UI" [Active] org.eclipse.ui.presentations.r21 (3.2.200.I20100517-1500) "R21 Presentation Plug-in" [Starting] org.eclipse.ui.views (3.6.0.v20110928-1505) "Views" [Active] org.eclipse.ui.views.log (1.0.200.v20110404) "Log View" [Starting] org.eclipse.ui.views.properties.tabbed (3.5.200.v20110928-1505) "Tabbed Properties View" [Starting] org.eclipse.ui.win32 (3.2.200.v20110928-1505) "Eclipse UI Win32 Enhancements" [Resolved] org.eclipse.ui.workbench (3.7.1.v20120104-1859) "Workbench" [Active] org.eclipse.ui.workbench.compatibility (3.2.100.I20110413-1600) "Workbench Compatibility" [Resolved] org.eclipse.ui.workbench.texteditor (3.7.0.v20110928-1504) "Text Editor Framework" [Starting] org.eclipse.update.configurator (3.3.100.v20100512) "Install/Update Configurator" [Active] org.eclipse.update.core (3.2.500.v20110330) "Install/Update Core" [Active] org.eclipse.update.core.win32 (3.2.200.v20100512) "Install/Update Core for Windows" [Resolved] org.eclipse.update.scheduler (3.2.300.v20100512) "Automatic Updates Scheduler" [Active] org.eclipse.update.ui (3.2.300.v20100512) "Install/Update UI" [Starting] org.eventb.core (2.5.1.r15250) "Event-B Core Plugin" [Active] org.eventb.core.ast (2.7.0.r15250) "Event-B Abstract Syntax Tree Plug-in" [Active] org.eventb.core.seqprover (2.6.0.r15250) "Event-B Sequent Prover Plug-in" [Active] org.eventb.emf.compare (1.4.1.201204300914) "Event-B EMF Compare Utility" [Starting] org.eventb.emf.core (2.2.4.201204300914) "Event-B EMF Model Plugin" [Active] org.eventb.emf.diagram.project (1.0.0.201011151722) "Event-B Project Diagram Plugin" [Starting] org.eventb.emf.formulas (1.3.0.201204300914) "Event-B Formula EMF Model" [Starting] org.eventb.emf.persistence (2.4.0.201204300914) "Event-B EMF Persistence Plug-in" [Starting] org.eventb.ide (2.7.0.r15250) "Event-B Modeling Environment" [Starting] org.eventb.keyboard (1.0.0.r15250) "Event-B Keyboard (standard)" [Resolved] org.eventb.pp (0.7.0.r15250) "PP Core Plugin" [Starting] org.eventb.pp.ui (0.2.1.r15250) "PP UI Plugin" [Active] org.eventb.pptrans (0.7.0.r15250) "Translator to Pure Predicate Calculus" [Starting] org.eventb.ui (2.5.0.r15250) "Event-B UI Plugin" [Active] org.eventb.ui.symboltable (1.2.0.r15250) "Event-B Symbol Table" [Active] org.mortbay.jetty.server (6.1.23.v201012071420) "Jetty Server" [Resolved] org.mortbay.jetty.util (6.1.23.v201012071420) "Jetty Utilities" [Resolved] org.polarion.eclipse.team.svn.connector (3.0.0.I20120601-1700) "Subversive SVN Connectors" [Resolved] org.polarion.eclipse.team.svn.connector.svnkit17 (3.0.0.I20130122-1700) "Subversive SVN 1.7 SVN Kit Connector" [Starting] org.rodinp (1.6.0.r15250) "Rodin Modeling Core" [Resolved] org.rodinp.core (1.6.0.r15250) "Rodin Core" [Active] org.rodinp.core.emf (0.6.1.r15250) "Rodin EMF Model" [Starting] org.rodinp.handbook (2.5.0.201302081023) "Rodin Handbook v.2.5" [Resolved] org.rodinp.keyboard (1.1.2.r15250) "Rodin Keyboard Plug-in" [Active] org.rodinp.platform (2.7.0.r15250) "Rodin Platform" [Starting] org.sat4j.core (2.3.0.v20110329) "SAT4J Core" [Resolved] org.sat4j.pb (2.3.0.v20110329) "SAT4J Pseudo" [Resolved] org.w3c.css.sac (1.3.1.v200903091627) "W3C CSS SAC" [Resolved] org.w3c.dom.events (3.0.0.draft20060413_v201105210656) "W3C DOM Level 3 Events" [Resolved] org.w3c.dom.smil (1.0.1.v200903091627) "W3C SMIL DOM" [Resolved] org.w3c.dom.svg (1.1.0.v201011041433) "W3C SVG DOM" [Resolved]

*\ User Preferences:

Wed Feb 13 15:31:51 CET 2013

@org.eclipse.ui.editors=3.7.0.v20110928-1504 /bundle_defaults/org.eventb.ui/Tactics\ Map=<?xml version\="1.0" encoding\="UTF-8" standalone\="no"?>\r\n\r\n<pref_unit pref_key\="Default Auto Tactic Profile">\r\n<combined combinator_id\="org.eventb.core.seqprover.loopOnAllPending" tactic_id\="org.eventb.core.pomTactics.default">\r\n<simple tactic_id\="org.eventb.core.seqprover.trueGoalTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.falseHypTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.goalInHypTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.funGoalTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.finiteHypBoundedGoalTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.partitionRewriteTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.genMPTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.autoRewriteTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.NNFTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.typeRewriteTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.findContrHypsTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.shrinkImpHypTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.funOvrGoalTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.clarifyGoalTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.onePointGoalTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.funOvrHypTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.funImgSimpTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.onePointHypTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.eqHypTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.InDomGoalTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.FunImgInGoalTac"/>\r\n<simple tactic_id\="com.clearsy.atelierb.provers.core.ml"/>\r\n<simple tactic_id\="com.clearsy.atelierb.provers.core.p0"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.dtDestrWDTac"/>\r\n\r\n\r\n<pref_unit pref_key\="Default Post Tactic Profile">\r\n<combined combinator_id\="org.eventb.core.seqprover.loopOnAllPending" tactic_id\="org.eventb.core.postTactics.default">\r\n<simple tactic_id\="org.eventb.core.seqprover.trueGoalTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.falseHypTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.goalInHypTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.goalDisjInHypTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.funGoalTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.InDomGoalTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.FunImgInGoalTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.finiteHypBoundedGoalTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.dtDestrWDTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.genMPTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.autoRewriteTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.NNFTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.typeRewriteTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.existsHypTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.findContrHypsTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.eqHypTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.shrinkImpHypTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.shrinkEnumHypTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.funOvrGoalTac"/>\r\n<simple tactic_id\="org.eventb.core.seqprover.clarifyGoalTac"/>\r\n\r\n\r\n\r\n /bundle_defaults/org.eclipse.egit.ui/CloneWizard_StoreInSecureStore=false @org.eclipse.debug.ui=3.7.102.v20111129-1423_r372 /bundle_defaults/org.eclipse.team.svn.ui/preference.history.revisionMode=1 @org.eclipse.core.net=1.2.100.I20110511-0800 /bundle_defaults/org.eclipse.ui.ide/OPEN_REQUIRED_PROJECTS=prompt /bundle_defaults/org.eclipse.egit.ui/date_format=yyyy-MM-dd HH:mm:ss /bundle_defaults/org.eclipse.ui/PROMPT_WHEN_SAVEABLE_STILL_OPEN=true /bundle_defaults/org.eclipse.egit.ui/resourcehistory_show_tooltips=false /bundle_defaults/org.eclipse.egit.ui/HistoryView_MaxTagLength=15 /bundle_defaults/org.eclipse.team.svn.ui/preference.decoration.icon.added=true @org.eclipse.egit.core=1.3.0.201202151440-r /bundle_defaults/org.eclipse.ui.ide/BOOKMARKS_LIMIT=100 /instance/org.eclipse.gmf.runtime.emf.core/referenced.path.variables= /bundle_defaults/org.eclipse.team.svn.ui/preference.repository.repositoryBrowser=true /bundle_defaults/org.eclipse.egit.ui/show_detached_head_warning=true /bundle_defaults/org.eclipse.ui/ENABLE_MIN_MAX=true /profile/file:\2fC:\2fUsers\2fmentre\2fDocuments\2frodin\2fconfiguration\2f..\2fp2\2f/SELF/org.eclipse.equinox.p2.ui.sdk.scheduler/autoUpdateInit=true /bundle_defaults/org.eclipse.egit.ui/decorator_recompute_ancestors=true /bundle_defaults/org.eventb.ui/Border\ enable=true /instance/org.eclipse.rmf.reqif10.pror.editor/DatatypeDefinitionString=org.eclipse.rmf.reqif10.pror.presentation.linewrap.impl.LinewrapConfigurationImpl /bundle_defaults/org.eclipse.egit.ui/restore_projects_on_checkout=true /configuration/org.eclipse.ui.ide/SHOW_WORKSPACE_SELECTION_DIALOG=false /instance/org.eclipse.ui.ide/quickStart=false /bundle_defaults/org.eclipse.ui/VIEW_MINIMUM_CHARACTERS=1 /bundle_defaults/org.eventb.ui/p_prefix_org.eventb.core.constant=cst /bundle_defaults/org.eclipse.team.svn.ui/preference.decoration.use.fontdecor=false /bundle_defaults/org.eclipse.egit.ui/decorator_foldertext_decoration={dirty:>} {name} /bundle_defaults/org.eclipse.team.ui/org.eclipse.team.ui.run_import_inbackground=false /bundle_defaults/org.eclipse.ui.workbench/USE_IPERSISTABLE_EDITORS=true /bundle_defaults/org.eclipse.core.resources/refresh.enabled=false /bundle_defaults/org.eclipse.core.resources/description.disableLinking=false /bundle_defaults/org.eclipse.team.svn.ui/preference.history.pagingEnable=true /instance/org.eclipse.core.resources/version=1 /bundle_defaults/org.eclipse.team.svn.ui/preference.properties.forceTextMime=true /bundle_defaults/org.eclipse.compare/org.eclipse.compare.UseSingleLine=true @org.eclipse.ui=3.7.0.v20110928-1505 /bundle_defaults/org.eclipse.team.svn.ui/preference.decoration.icon.needslock=false /bundle_defaults/org.eclipse.core.net/nonProxiedHosts=localhost|127.0.0.1 /bundle_defaults/org.eclipse.equinox.p2.ui.sdk/showLatestVersion=true /bundle_defaults/org.eclipse.compare/org.eclipse.compare.SaveAllEditors=false /bundle_defaults/org.eventb.ui/Comment\ foreground=0,128,0 /bundle_defaults/org.eclipse.team.ui/org.eclipse.team.ui.show_author_in_compare_editor=false /profile/file:\2fC:\2fUsers\2fmentre\2fDocuments\2frodin\2fconfiguration\2f..\2fp2\2f/SELF/org.eclipse.equinox.p2.ui.sdk/showLatestVersion=true /bundle_defaults/org.eclipse.ui/CLOSE_EDITORS_ON_EXIT=false /bundle_defaults/org.eclipse.team.svn.ui/LockResourcesPanel.weight=50 /bundle_defaults/org.eclipse.ui.workbench/ENABLE_NEW_MENUS=true /bundle_defaults/org.eventb.ui/Text\ foreground=0,128,0 /bundle_defaults/org.eventb.ui/Auto-Tactic\ enable=true /bundle_defaults/org.eclipse.egit.core/core_packedGitWindowSize=8192 /bundle_defaults/org.eventb.ui/p_prefix_org.eventb.core.invariant=inv /bundle_defaults/org.eclipse.team.svn.ui/preference.decoration.format.project={outgoing_flag} {name} {revision} [{location_label}{root_prefix}: {first_branchOrTag_child}] /bundle_defaults/org.eclipse.team.svn.ui/preference.decoration.icon.modified=false /bundle_defaults/org.eclipse.ui.workbench/OPEN_ON_SINGLE_CLICK=false /bundle_defaults/org.eclipse.team.svn.ui/preference.templatessavedCommentsCount=10 /instance/org.eclipse.ui.editors/overviewRuler_migration=migrated_3.1 /bundle_defaults/org.eclipse.team.svn.ui/preference.dateFormat.dateFormat=0 /bundle_defaults/org.eclipse.egit.ui/resourcehistory_compare_mode=false /bundle_defaults/org.eclipse.egit.ui/resourcehistory_follow_renames=false /bundle_defaults/org.eclipse.egit.core/core_autoShareProjects=false /bundle_defaults/org.eclipse.team.svn.ui/preference.decoration.flag.added=* /bundle_defaults/org.eclipse.team.svn.ui/preference.checkout.respectProjectStructure=false /bundle_defaults/org.eclipse.egit.ui/decorator_show_dirty_icon=false /bundle_defaults/org.eclipse.egit.ui/sync_view_changeset_pattern={author} {short_message} /bundle_defaults/org.eclipse.ui/USE_COLORED_LABELS=true /bundle_defaults/org.eclipse.team.svn.ui/preference.decoration.format.folder={outgoing_flag} {name} {revision} /bundle_defaults/org.eclipse.egit.ui/HistoryView_MaxBranchLength=15 /bundle_defaults/org.eclipse.egit.ui/resourcehistory_show_notes=false /bundle_defaults/org.eclipse.egit.ui/resourcehistory_graph_split=500,500 /bundle_defaults/org.eclipse.team.ui/org.eclipse.team.ui.remove_from_view_without_prompt=false /bundle_defaults/org.eclipse.team.svn.ui/preference.externals.ignore=false /bundle_defaults/org.eventb.ui/p_prefix_org.eventb.core.action=act /bundle_defaults/org.eclipse.ui.ide/PROBLEMS_LIMIT=100 /bundle_defaults/org.eclipse.core.resources/delta.expiration=2592000000 /bundle_defaults/org.eclipse.compare/org.eclipse.compare.AddedLinesRegex= /bundle_defaults/org.eclipse.team.svn.ui/preference.history.groupingType=0 /bundle_defaults/org.eclipse.egit.ui/commit_dialog_signed_off_by=false /bundle_defaults/org.eclipse.team.svn.ui/preference.decoration.icon.remote=true /bundle_defaults/org.eclipse.ui.ide/SAVE_ALL_BEFORE_BUILD=false @org.eclipse.team.svn.ui=1.0.0.I20121228-1700 /configuration/org.eclipse.ui.ide/RECENT_WORKSPACES=C:\Users\mentre\Documents\rodin\workspace /bundle_defaults/org.eclipse.equinox.p2.ui.sdk.scheduler/remindOnSchedule=false /bundle_defaults/org.eclipse.ui.workbench/EDITOR_TAB_WIDTH=3 /bundle_defaults/org.eclipse.team.svn.ui/preference.history.hierarchicalLayout=true /bundle_defaults/org.eclipse.team.ui/org.eclipse.team.ui.view_syncinfo_in_label=false /bundle_defaults/org.eclipse.team.svn.ui/preference.decoration.trunk.branch=, Trunk /bundle_defaults/org.eclipse.ui/SHOW_OTHER_IN_PERSPECTIVE_MENU=true /bundle_defaults/org.eclipse.core.resources/refresh.lightweight.enabled=false /bundle_defaults/org.eclipse.ui.workbench/MULTI_KEY_ASSIST=true /bundle_defaults/org.eclipse.team.svn.ui/branchTagCreationMode=0 /bundle_defaults/org.eclipse.ui.ide/useSeparator.help.group.updates=true /bundle_defaults/org.eclipse.ui/SHOW_SYSTEM_JOBS=false /bundle_defaults/org.eclipse.ui/RECENTLY_USED_WORKINGSETS_SIZE=5 /bundle_defaults/org.eclipse.ui/ALTERNATE_OPEN_NEW_PERSPECTIVE=OPEN_PERSPECTIVE_REPLACE /bundle_defaults/org.eclipse.egit.ui/decorator_show_conflicts_icon=true /bundle_defaults/org.eclipse.equinox.p2.ui.sdk.scheduler/download=false /bundle_defaults/org.eclipse.team.svn.ui/preference.mailreporter.errorsEnabled=true /bundle_defaults/org.eclipse.team.svn.ui/preference.templatesuseShiftEnter=false /instance/org.eclipse.ui.ide/TASKS_FILTERS_MIGRATE=true /bundle_defaults/org.eclipse.ui/SHOW_TRADITIONAL_STYLE_TABS=true /bundle_defaults/org.eclipse.ui/SHIFT_OPEN_NEW_PERSPECTIVE=OPEN_PERSPECTIVE_REPLACE /bundle_defaults/org.eclipse.core.resources/description.autobuilding=true /bundle_defaults/org.eclipse.core.resources/description.maxfilestatesize=1048576 /bundle_defaults/org.eclipse.team.ui/org.eclipse.team.ui.sychronizing_default_participant=none /bundle_defaults/org.eclipse.team.svn.ui/preference.decoration.icon.new=true /bundle_defaults/org.eclipse.ui.workbench/SELECT_ON_HOVER=false /bundle_defaults/org.eclipse.compare/org.eclipse.compare.InitiallyShowAncestorPane=false /bundle_defaults/org.eclipse.core.resources/description.filestatelongevity=604800000 /bundle_defaults/org.eclipse.team.svn.ui/preference.decoration.icon.switched=true /bundle_defaults/org.eclipse.compare/org.eclipse.compare.HighlightTokenChanges=true /bundle_defaults/org.eclipse.team.ui/org.eclipse.team.ui.sychronizing_default_perspective_to_show=prompt /bundle_defaults/org.eclipse.ui/showIntro=true /bundle_defaults/org.eclipse.ui.workbench/coolBarVisible=true /bundle_defaults/org.eclipse.ui.ide/SWITCH_PERSPECTIVE_ON_PROJECT_CREATION=prompt /bundle_defaults/org.eclipse.egit.ui/refesh_only_when_active=true /bundle_defaults/org.eclipse.team.svn.ui/preference.autopropertiesautoproperties= /instance/org.eclipse.ui.ide/platformState=1360153344384 /bundle_defaults/org.eclipse.team.svn.ui/preference.repository.head=trunk /bundle_defaults/org.eclipse.egit.ui/decorator_show_assume_valid_icon=true /bundle_defaults/org.eclipse.team.ui/org.eclipse.team.ui.compress_folders=true /bundle_defaults/org.eclipse.ui/EDITOR_TAB_POSITION=128 /bundle_defaults/org.eclipse.ui.ide/saveInterval=5 /bundle_defaults/org.eclipse.core.resources/description.buildorder= /bundle_defaults/org.eclipse.egit.ui/show_rebase_confirm=true /bundle_defaults/org.eclipse.egit.ui/decorator_show_staged_icon=true /bundle_defaults/org.eventb.ui/p_prefix_org.eventb.core.event=evt /bundle_defaults/org.eclipse.team.svn.ui/preference.resourceSelection.showResourcesInSyncPane=false /bundle_defaults/org.eclipse.ui.workbench/perspectiveBarVisible=true /bundle_defaults/org.eclipse.ui.ide/SHOW_WORKSPACE_SELECTION_DIALOG=true /bundle_defaults/org.eclipse.ui/KEY_CONFIGURATION_ID=org.eclipse.ui.defaultAcceleratorConfiguration /bundle_defaults/org.eclipse.core.resources/description.defaultbuildorder=true /bundle_defaults/org.eventb.ui/p_prefix_org.eventb.core.witness=wit /instance/org.eclipse.team.svn.ui/firstStartup=false /bundle_defaults/org.eclipse.team.svn.ui/preference.console.command=0,0,0 /bundle_defaults/org.eventb.ui/Post-Tactic\ enable=true /bundle_defaults/org.eclipse.update.scheduler/schedule=on-startup /bundle_defaults/org.eclipse.ui.workbench/MULTI_KEY_ASSIST_TIME=1000 /bundle_defaults/org.eclipse.ui.ide/PROJECT_OPEN_NEW_PERSPECTIVE=OPEN_PERSPECTIVE_REPLACE /bundle_defaults/org.eclipse.team.svn.ui/preference.repository.forceExternalsFreeze=true @org.eclipse.rmf.reqif10.pror.editor=0.6.0.201302071457 /bundle_defaults/org.eclipse.team.svn.ui/CommitPanel.weight=50 /instance/org.eclipse.ui/showIntro=false /bundle_defaults/org.eclipse.team.svn.ui/preference.decoration.icon.locked=true /bundle_defaults/org.eclipse.compare/org.eclipse.compare.IgnoreWhitespace=false @org.eclipse.team.ui=3.6.101.R37x_v20111109-0800 /bundle_defaults/org.eclipse.ui/initialFastViewBarLocation=bottom /bundle_defaults/org.eclipse.ui/ENABLE_ANIMATIONS=true /configuration/org.eclipse.ui.ide/MAX_RECENT_WORKSPACES=5 @org.eclipse.core.resources=3.7.101.v20120125-1505 /bundle_defaults/org.eclipse.ui/ENABLE_DETACHED_VIEWS=true /bundle_defaults/org.eclipse.team.svn.ui/preference.history.compareMode=false /bundle_defaults/org.eclipse.core.resources/description.applyfilestatepolicy=true /bundle_defaults/org.eclipse.egit.ui/show_home_drive_warning=true /bundle_defaults/org.eclipse.ui.workbench/OPEN_PERSPECTIVE_MODE=0 /instance/org.eclipse.egit.core/GitRepositoriesView.GitDirectories=C:\Users\mentre\git\GitHub\openETCS\model-evaluation.git; /bundle_defaults/org.eclipse.egit.core/core_packedGitLimit=10485760 /bundle_defaults/org.eclipse.team.svn.ui/preference.repository.showExternals=true /bundle_defaults/org.eclipse.team.svn.ui/preference.templatescomment.templates.enabled=true /bundle_defaults/org.eclipse.ui.ide/REFRESH_WORKSPACE_ON_STARTUP=false /project/Subset_026_Chap_4_6/org.eclipse.core.resources/encoding/Subset_026_Chap_4_6.prj_diag=UTF-8 /bundle_defaults/org.eclipse.ui.ide/IMPORT_FILES_AND_FOLDERS_RELATIVE=true /bundle_defaults/org.eclipse.team.svn.ui/preference.decoration.enable.cache=true /bundle_defaults/org.eclipse.team.ui/org.eclipse.team.ui.validate_edit_with_no_context=false /bundle_defaults/org.eclipse.egit.ui/findtoolbar_ignore_case=true /configuration/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true /bundle_defaults/org.eclipse.egit.ui/resourcehistory_show_relative_date=true /bundle_defaults/org.eventb.ui/Auto-Tactics\ Profil=Default Auto Tactic Profile /bundle_defaults/org.eclipse.team.svn.ui/preference.console.warning=128,0,0 /bundle_defaults/org.eclipse.core.resources/description.maxfilestates=50 @org.eclipse.ui.ide=3.7.0.v20110928-1505 /bundle_defaults/org.eclipse.core.resources/encoding= /bundle_defaults/org.eclipse.ui.workbench/REUSE_DIRTY_EDITORS=true /bundle_defaults/org.eclipse.team.svn.ui/preference.decoration.flag.outgoing=> /bundle_defaults/org.eclipse.team.svn.ui/preference.core.svnconnector=org.eclipse.team.svn.connector.svnkit16 /bundle_defaults/org.eclipse.equinox.p2.ui.sdk.scheduler/enabled=false /bundle_defaults/org.eclipse.team.svn.ui/preference.resourceSelection.dontSelectMissing=true /bundle_defaults/org.eclipse.team.svn.ui/preference.prompt.consultChangeSetsInCommit=never /bundle_defaults/org.eclipse.egit.ui/decorator_show_tracked_icon=true /bundle_defaults/org.eventb.ui/p_prefix_org.eventb.core.carrierSet=set /bundle_defaults/org.eclipse.egit.ui/resourcehistory_show_rev_comment=true /bundle_defaults/org.eclipse.team.svn.ui/preference.diffViewer.resources.specific.parameters=MQ\=\=;RklMRV9FWFRFTlNJT04\=;b2Rz;d3NjcmlwdC5leGU\=;d3NjcmlwdC5leGU\=;IiR7ZGVmYXVsdC1vZHMtcHJvZ3JhbX0iICIke2Jhc2V9IiAiJHttaW5lfSIgLy9FOnZic2NyaXB0;IiR7ZGVmYXVsdC1vZHMtcHJvZ3JhbX0iICIke3RoZWlyc30iICIke21pbmV9IiAvL0U6dmJzY3JpcHQ\=;MQ\=\=;RklMRV9FWFRFTlNJT04\=;cHB0;d3NjcmlwdC5leGU\=;;IiR7ZGVmYXVsdC1wcHQtcHJvZ3JhbX0iICIke2Jhc2V9IiAiJHttaW5lfSIgLy9FOnZic2NyaXB0;;MQ\=\=;RklMRV9FWFRFTlNJT04\=;b2R0;d3NjcmlwdC5leGU\=;d3NjcmlwdC5leGU\=;IiR7ZGVmYXVsdC1vZHQtcHJvZ3JhbX0iICIke2Jhc2V9IiAiJHttaW5lfSIgLy9FOnZic2NyaXB0;IiR7ZGVmYXVsdC1vZHQtcHJvZ3JhbX0iICIke3RoZWlyc30iICIke21pbmV9IiAvL0U6dmJzY3JpcHQ\=;MQ\=\=;RklMRV9FWFRFTlNJT04\=;ZG9jeA\=\=;d3NjcmlwdC5leGU\=;d3NjcmlwdC5leGU\=;IiR7ZGVmYXVsdC1kb2MtcHJvZ3JhbX0iICIke2Jhc2V9IiAiJHttaW5lfSIgLy9FOnZic2NyaXB0;IiR7ZGVmYXVsdC1kb2MtcHJvZ3JhbX0iICIke3RoZWlyc30iICIke21pbmV9IiAvL0U6dmJzY3JpcHQ\=;MQ\=\=;RklMRV9FWFRFTlNJT04\=;eGxzeA\=\=;d3NjcmlwdC5leGU\=;;IiR7ZGVmYXVsdC14bHMtcHJvZ3JhbX0iICIke2Jhc2V9IiAiJHttaW5lfSIgLy9FOnZic2NyaXB0;;MQ\=\=;RklMRV9FWFRFTlNJT04\=;ZG9j;d3NjcmlwdC5leGU\=;d3NjcmlwdC5leGU\=;IiR7ZGVmYXVsdC1kb2MtcHJvZ3JhbX0iICIke2Jhc2V9IiAiJHttaW5lfSIgLy9FOnZic2NyaXB0;IiR7ZGVmYXVsdC1kb2MtcHJvZ3JhbX0iICIke3RoZWlyc30iICIke21pbmV9IiAvL0U6dmJzY3JpcHQ\=;MQ\=\=;RklMRV9FWFRFTlNJT04\=;cHB0eA\=\=;d3NjcmlwdC5leGU\=;;IiR7ZGVmYXVsdC1wcHQtcHJvZ3JhbX0iICIke2Jhc2V9IiAiJHttaW5lfSIgLy9FOnZic2NyaXB0;;MQ\=\=;RklMRV9FWFRFTlNJT04\=;eGxz;d3NjcmlwdC5leGU\=;;IiR7ZGVmYXVsdC14bHMtcHJvZ3JhbX0iICIke2Jhc2V9IiAiJHttaW5lfSIgLy9FOnZic2NyaXB0; /bundle_defaults/org.eclipse.team.svn.ui/preference.decoration.icon.conflicted=true /bundle_defaults/org.eclipse.core.net/proxyData/HTTP/port=-1 /bundle_defaults/org.eclipse.ui.ide/TASKS_FILTERS_MIGRATE=false /bundle_defaults/org.eclipse.team.svn.ui/preference.decoration.format.file={outgoing_flag} {name} {revision} /bundle_defaults/org.eclipse.team.ui/org.eclipse.team.ui.syncview_default_perspective=org.eclipse.team.ui.TeamSynchronizingPerspective /bundle_defaults/org.eclipse.team.svn.ui/preference.console.ok=0,0,255 /bundle_defaults/org.eclipse.team.svn.ui/preference.console.limitRange=500000 /bundle_defaults/org.eclipse.ui/VIEW_TAB_POSITION=128 /bundle_defaults/org.eventb.ui/Box\ border\ color=255,0,0 /bundle_defaults/org.eclipse.team.ui/org.eclipse.team.ui.default_layout=org.eclipse.team.ui.compressed_layout /bundle_defaults/org.eclipse.ui.workbench/OPEN_AFTER_DELAY=false /bundle_defaults/org.eclipse.ui.ide/TASKS_LIMIT=100 /bundle_defaults/org.eclipse.ui.ide/WELCOME_DIALOG=true /bundle_defaults/org.eclipse.team.svn.ui/preference.properties.linkWithEditor=false /bundle_defaults/org.eventb.ui/Machine\ editor\ pages=org.eventb.ui.prettyPrint,org.eventb.ui.Edit,org.eventb.ui.synthetic,org.eventb.ui.dependencies /bundle_defaults/org.eclipse.ui.workbench/COLOR_ICONS=true /bundle_defaults/org.eclipse.team.svn.ui/preference.checkout.useDotProject=true /bundle_defaults/org.eclipse.ui.workbench/EDITORLIST_SELECTION_SCOPE=1 /bundle_defaults/org.eclipse.egit.ui/Blame_IgnoreWhitespace=false /bundle_defaults/org.eclipse.compare/org.eclipse.compare.NavigationEndAction=prompt /bundle_defaults/org.eclipse.ui.ide/PROBLEMS_FILTERS_MIGRATE=false /bundle_defaults/org.eclipse.team.svn.ui/preference.templatessavedPathsCount=10 /bundle_defaults/org.eventb.ui/p_prefix_org.eventb.core.variable=var /bundle_defaults/org.eclipse.team.svn.ui/preference.resourceSelection.treatExternalAsLocal=true /bundle_defaults/org.eclipse.egit.ui/resourcehistory_show_all_branches=false /bundle_defaults/org.eclipse.core.resources/description.snapshotinterval=300000 /bundle_defaults/org.eclipse.c

mgudemann commented 11 years ago

I have contacted Formalmind about this problem.

ladenberger commented 11 years ago

Hello,

I just tried to reproduce this problem - With success.

Please install the "ProR Essentials -> ProR Xhtml Rtf Presentation Feature" from the Rodin ProR Update Site. The missing feature should fix the freeze problem.

Best regards, Lukas

MERCEmentre commented 11 years ago

Lukas, the features fails to install: """ Cannot complete the request. See the error log for details. "ProR Xhtml Rtf Presentation Feature" will be ignored because it is already installed. """

ladenberger commented 11 years ago

Okay. The Xhtml feature is already installed. Can your please try to create/open a new ReqIF file: File -> New -> ReqIF10 Model. Is is still freezing?

jastram commented 11 years ago

Hi David,

Sorry to hear that you're having problems with the tool. Two quick comments:

Best,

On 02/13/2013 04:14 PM, David MENTRE wrote:

Lukas, the features fails to install: """ Cannot complete the request. See the error log for details. "ProR Xhtml Rtf Presentation Feature" will be ignored because it is already installed. """

— Reply to this email directly or view it on GitHub https://github.com/openETCS/model-evaluation/issues/7#issuecomment-13498251.

formalmind science for systems engineering Dr. Michael Jastram Universitätsstr. 1 Building 25.12.01.28 D-40225 Düsseldorf Geschäftsführer / CEO +49 (162) 274 83 94 www.formalmind.com http://www.formalmind.com michael.jastram@formalmind.com mailto:michael.jastram@formalmind.com

MERCEmentre commented 11 years ago

@ladenberger I can successfully open a new ReqIF file without freezing.

ladenberger commented 11 years ago

@ Michael. Yes, I think this bug is also related to https://bugs.eclipse.org/bugs/show_bug.cgi?id=397672 I just tried to open the ReqIF file without having installed the Xhtml feautre and it hangs/freezes. However, David has installed the Xhtml plugin, which I think is also not working, since, he has no Java Oracle Version 7 installed. We should handle this with a proper message. I will record this in our bug tracker.

@ David. Can you please try to run Rodin with Java Oracle Version 7?

Am 13.02.2013 16:54 schrieb "David MENTRE" notifications@github.com:

MERCEmentre commented 11 years ago

@jastram Should I install Java 7? Would you suggest a link where to get it for Win 7 / 64 bits machine?

ladenberger commented 11 years ago

Here is the link to Oracles Java 7: http://www.oracle.com/technetwork/java/javase/downloads/jre7-downloads-1880261.html

2013/2/13 David MENTRE notifications@github.com

@jastram https://github.com/jastram Should I install Java 7? Would you suggest a link where to get it for Win 7 / 64 bits machine?

— Reply to this email directly or view it on GitHubhttps://github.com/openETCS/model-evaluation/issues/7#issuecomment-13504235.

MERCEmentre commented 11 years ago

@mgudemann I installed Java 7 with the link provided by Lukas and opening the ReqIF file now works! \o/ :-) I am closing the issue.

@jastram @ladenberger Maybe you should add a check on Java 7 at ProR installation and refuse to install it if Java <= 6 is installed.

mgudemann commented 11 years ago

@MERCEmentre very good, I will add Java 7 and the link to the decsription

@jastram @ladenberger thank you very much for your help