Place a new line before println messages, to ensure errors and such are placed on their own line.

src/nl/uu/cs/ssmui/CliRunner.java

@@ -105,7 +105,7 @@ public class CliRunner implements Messenger {
 
     @Override
     public void println(String s) {
-        System.out.println(s);
+        System.out.println(System.lineSeparator() + s);
     }
 
     @Override

src/nl/uu/cs/ssmui/SSMRunner.java

@@ -652,7 +652,7 @@ public class SSMRunner extends JFrame
 
 	public void println( String s )
 	{
-	    outputTextArea.append(s + System.lineSeparator()) ;
+	    outputTextArea.append(System.lineSeparator() + s + System.lineSeparator()) ;
 	}
 
 	public void print( String s )