Re-arrange of PrismLog code + methods to print arrays (fix).

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

prism/src/prism/PrismLog.java

@@ -43,7 +43,7 @@ public abstract class PrismLog
 	public abstract void print(String s);
 	public abstract void println();
 	
-	public void print(Object arr[])
+	public void print(double arr[])
 	{
 		int i, n = arr.length;
 		print("[");