diff --git a/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java b/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java index e4456183b8864f30ded7c6807c2ac5aeca0afc7f..5a56cb744c52d35487f973e157a6cbd1a49a77f5 100644 --- a/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java +++ b/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java @@ -107,16 +107,20 @@ public class OpenClassicHandler extends AbstractHandler implements IHandler { // from command-line it is: java -jar prob2-ui-1.0.1-SNAPSHOT-all.jar --machine-file FILE Process process = null; try { - final String command = "java -jar " + probBinary + " --machine-file " + modelFile; - process = Runtime.getRuntime().exec(command); - final BufferedReader output = new BufferedReader( - new InputStreamReader(process.getInputStream())); - new Thread(new ClassicConsole(output)).start(); + // final String command = "java -jar " + probBinary + " --machine-file " + modelFile; + //process = Runtime.getRuntime().exec(command); + //final BufferedReader output = new BufferedReader( + // new InputStreamReader(process.getInputStream())); + //new Thread(new ClassicConsole(output)).start(); + + final String[] command = {"java", "-jar", probBinary, "--machine-file", modelFile}; + process = new ProcessBuilder(command).redirectErrorStream().start(); // TODO: maybe use //ProcessBuilder pb = new ProcessBuilder("/path/to/java", "-jar", probBinary, "--machine-file",modelFile); // pb.directory(new File("preferred/working/directory")); // Process p = pb.start(); + } catch (IOException e) { Logger.notifyUserWithoutBugreport("You need to specify a correct location for "