Make tool name ("PRISM") configurable.

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

prism/src/prism/Prism.java

@@ -649,6 +649,15 @@ public class Prism extends PrismComponent implements PrismSettingsListener
 
 	// Get methods
 
+	/**
+	 * Get the name of this tool.
+	 * ("PRISM" by default, extensions might override) 
+	 */
+	public static String getToolName()
+	{
+		return "PRISM";
+	}
+	
 	/**
 	 * Get current version number, as a string. 
 	 */
@@ -1287,7 +1296,8 @@ public class Prism extends PrismComponent implements PrismSettingsListener
 	{
 		boolean verbose = this.getSettings().getBoolean("PRISM_VERBOSE");
 		mainLog.setVerbosityLevel(verbose ? PrismLog.VL_ALL : PrismLog.VL_DEFAULT);
-		mainLog.print("PRISM\n=====\n");
+		mainLog.print(getToolName() + "\n");
+		mainLog.print(new String(new char[getToolName().length()]).replace("\0", "=") + "\n");
 		mainLog.print("\nVersion: " + getVersion() + "\n");
 		mainLog.print("Date: " + new java.util.Date() + "\n");
 		try {

prism/src/userinterface/GUIPrism.java

@@ -382,7 +382,7 @@ public class GUIPrism extends JFrame
 		}
 
 		setJMenuBar(menuBar);
-		setTitle("PRISM " + prism.getVersion());
+		setTitle(Prism.getToolName() + " " + Prism.getVersion());
 		setDefaultCloseOperation(javax.swing.JFrame.DO_NOTHING_ON_CLOSE);
 		addWindowListener(new java.awt.event.WindowAdapter()
 		{