#772 crash of Rodin V3.4 when opening workspace

[Paul]

machine = macbook pro 13"
macos = high sierra 10.13.3

the application rodin app can be launched.
but when the workspace is chosen, the application crashes.
the application does not memory the last workspace too.
I join the error message that can be seen on the screen and the .log file associated with the workspace.

[Paul]

the .log file

[Laurent Voisin]

The Java interpreter is Java 9. There used to be issues for starting Eclipse prior to Oxygen 1.A, but these should have been fixed in Oxygen 2 (which is the basis for Rodin 3.4).

However, some people have also reported issues when running with an older workspace.

Could you please try to run Eclipse 3.4 on a brand new workspace. If it works, you can recover your files from the old workspace by clicking "Import.. > General > Existing Projects into Workspace" from the Event-B Explorer context menu. Then do not forget to tick the checkbox labelled "Copy projects into workspace".

[Paul]

what i did :

• i remove the folder which was already new (new machine bought recently)
• i launch the application Rodin
• when asked to choose a "wokrspace" folder, i select the "new folder" button below on the form
• after having created the folder "workspace" i choose that folder
• the message error is print again
  (this is systematic)
  I conclude the error is not linked with the fact that the workspace is "old".

Java is up to date (see joint file)

[Laurent Voisin]

Dear Paul, this is thus another Eclipse issue. It can be worked around by editing the file rodin.ini. For that, right-click on the Rodin icon and select "Afficher le contenu du paquet", then enter the Contents, then the Eclipse directories. There, open the rodin.ini file in an editor and add the following line at the end of the file

--add-modules=java.se.ee

Save the modification.

Now the Rodin platform shall start properly.

[Paul]

thank you Laurent !
the Rodin tool works well now ;-)