Bugfixes in new ProgressDisplay.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4946 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/prism/ProgressDisplay.java

@@ -55,6 +55,7 @@ public class ProgressDisplay
 	 */
 	public void start()
 	{
+		totalCount = -1; // i.e. not used
 		lastCount = 0;
 		lastPercentageDone = 0;
 		timerProgress = System.currentTimeMillis();
@@ -140,6 +141,7 @@ public class ProgressDisplay
 	{
 		mainLog.print(text);
 		if (totalCount != -1)
-			mainLog.println(" ]");
+			mainLog.print(" ]");
+		mainLog.println();
 	}
 }