We're updating the issue view to help you get more done. 

Cannot start ProB2-UI when config.json does not exist or is empty

Description

I downloaded the nightly Jar from our website and was not able to start ProB2-UI.
When no config.json file exist I get an exception:
$ java --module-path .../javafx-sdk-11.0.2/lib --add-modules=javafx.controls -jar prob2-ui-1.0.0-SNAPSHOT-all.jar
[2019-02-18 13:06:01,022, 609 sec] "JavaFX-Launcher" [INFO] de.prob2.ui.ProB2.parseRuntimeOptions(ProB2.java:225): Parsing arguments: []
[2019-02-18 13:06:01,037, 624 sec] "JavaFX-Launcher" [INFO] de.prob2.ui.ProB2.parseRuntimeOptions(ProB2.java:244): Parsed command line: args [], options []
[2019-02-18 13:06:01,038, 625 sec] "JavaFX-Launcher" [INFO] de.prob2.ui.ProB2.parseRuntimeOptions(ProB2.java:271): Created runtime options: RuntimeOptions{project=null, machine=null, preference=null, loadConfig=true, saveConfig=true}
[2019-02-18 13:06:01,093, 680 sec] "JavaFX-Launcher" [INFO] de.prob2.ui.config.Config.loadBasicConfig(Config.java:72): Config file not found while loading basic config, loading default settings
java.nio.file.NoSuchFileException: /Users/leuschel/.prob/prob2-3.2.12-SNAPSHOT/prob2ui/config.json
at java.base/sun.nio.fs.UnixException.translateToIOException(UnixException.java:92)
...

After creating an empty config.json file, I get another exception:
java --module-path .../javafx-sdk-11.0.2/lib --add-modules=javafx.controls -jar prob2-ui-1.0.0-SNAPSHOT-all.jar
[2019-02-18 13:01:59,890, 598 sec] "JavaFX-Launcher" [INFO] de.prob2.ui.ProB2.parseRuntimeOptions(ProB2.java:225): Parsing arguments: []
[2019-02-18 13:01:59,904, 612 sec] "JavaFX-Launcher" [INFO] de.prob2.ui.ProB2.parseRuntimeOptions(ProB2.java:244): Parsed command line: args [], options []
[2019-02-18 13:01:59,906, 614 sec] "JavaFX-Launcher" [INFO] de.prob2.ui.ProB2.parseRuntimeOptions(ProB2.java:271): Created runtime options: RuntimeOptions{project=null, machine=null, preference=null, loadConfig=true, saveConfig=true}
Exception in Application start method
java.lang.reflect.InvocationTargetException
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
...

Environment

None

Status

Assignee

Yumiko Jansing

Reporter

Michael Leuschel

Labels

None

Priority

Major