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