Tweak memory limits output to clarify it shows heap memory for java.

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

prism/src/prism/Prism.java

@@ -1298,7 +1298,7 @@ public class Prism extends PrismComponent implements PrismSettingsListener
 		} catch (java.net.UnknownHostException e) {
 		}
 		mainLog.print("Memory limits: cudd=" + getCUDDMaxMem());
-		mainLog.println(", java=" + PrismUtils.convertBytesToMemoryString(Runtime.getRuntime().maxMemory()));
+		mainLog.println(", java(heap)=" + PrismUtils.convertBytesToMemoryString(Runtime.getRuntime().maxMemory()));
 
 		// initialise cudd/jdd
 		long cuddMaxMem = PrismUtils.convertMemoryStringtoKB(getCUDDMaxMem());