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 e0a37c14e790b329276c869e926f487b02dd219f..e5b078bb8ac6e64bf0746294546d94d3b27edb9b 100644
--- a/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java
+++ b/de.prob.ui/src/de/prob/ui/eventb/OpenClassicHandler.java
@@ -120,8 +120,14 @@ public class OpenClassicHandler extends AbstractHandler implements IHandler {
 			final BufferedReader output = new BufferedReader(
 					new InputStreamReader(process.getInputStream()));
 			new Thread(new ClassicConsole(output)).start();
+			
+			process.waitFor(); // I hope this will not block Rodin
 
-		} catch (IOException e) {
+	        if (process.exitValue() != 0) {
+				Logger.notifyUserWithoutBugreport("Error launching ProB2UI with java -jar" + probBinary + ". Exit code: " + process.exitValue());
+	        }
+
+		} catch (IOException | InterruptedException e) {
 			Logger.notifyUserWithoutBugreport("You need to specify a correct location for "
 			+ PROB2_NAME + ". See Preferences -> ProB Standalone.\n"
 			+ PROB2_NAME + " location: "+ probBinary +