PROB - ProB for Rodin cannot start when special character in path

Description

When the path to Rodin contains a special character (e.g., french accent and/or whit space) then ProB for Rodin fails to launch and opening various error dialogs.
This happened on Rodin 2.8 using latest stable ProB 1.0 for Rodin on a Mac using Mavericks.

Environment

None

Gliffy Diagrams

Activity

Show:

Sebastian Krings December 2, 2013 at 2:55 PM

This is due to a Bug in Java 1.6. Once Rodin / we migrate to Java 1.7 this will be fixed.

Jenkins Build Server December 2, 2013 at 1:18 PM

SUCCESS: Integrated in

ProB_eclipse_develop #1230
another attempt to fix (sebastian: rev 031dfef80c6a2e8884a329f45cd489f48282f880)

  • de.prob.core/src/de/prob/cli/CliStarter.java

Jenkins Build Server December 2, 2013 at 1:07 PM

SUCCESS: Integrated in

ProB_eclipse_develop #1229
another attempt to fix (sebastian: rev b4e62d815b9c323dcd7de08292c359d69bb72522)

  • de.prob.core/src/de/prob/cli/CliStarter.java

Jenkins Build Server December 2, 2013 at 12:43 PM

SUCCESS: Integrated in

ProB_eclipse_develop #1228
another attempt to fix (sebastian: rev 6fcfb8f45237d04602d0748077177f8c29d49551)

  • de.prob.core/src/de/prob/cli/CliStarter.java

Sebastian Krings November 29, 2013 at 3:12 PM

This might be related to a bug in Eclipse:

https://bugs.eclipse.org/bugs/show_bug.cgi?id=145096

There are however a few suggested workarounds.

I look into it next week.

Won't Fix

Details

Assignee

Reporter

Priority

Created November 29, 2013 at 2:34 PM
Updated December 2, 2013 at 2:55 PM
Resolved December 2, 2013 at 2:55 PM