@@ -79,7 +79,9 @@ public class OpenClassicHandler extends AbstractHandler implements IHandler {
newThread(newClassicConsole(output)).start();
}catch(IOExceptione){
Logger.notifyUserWithoutBugreport("You need to specify a correct location for the ProB Tcl/Tk version. See Preferences -> ProB Classic. Detail: "+e.getLocalizedMessage());
Logger.notifyUserWithoutBugreport("You need to specify a correct location for the ProB Tcl/Tk version. See Preferences -> ProB Classic.\nProB Tcl/Tk location: "+probBinary+