Changed strings for model types.

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

prism/src/prism/NondetModel.java

@@ -60,8 +60,7 @@ public class NondetModel extends ProbModel
 
 	public String getTypeString()
 	{
-		return "Nondeterministic (MDP)"; // TODO: Change this after regression testing
-		//return "MDP";
+		return "MDP";
 	}
 
 	public long getNumChoices()

prism/src/prism/ProbModel.java

@@ -94,8 +94,7 @@ public class ProbModel implements Model
 
 	public String getTypeString()
 	{
-		return "Probabilistic (DTMC)"; // TODO: Change this after regression testing
-		//return "DTMC";
+		return "DTMC";
 	}
 
 	// modules

prism/src/prism/StochModel.java

@@ -45,8 +45,7 @@ public class StochModel extends ProbModel
 
 	public String getTypeString()
 	{
-		return "Stochastic (CTMC)"; // TODO: Change this after regression testing
-		//return "CTMC";
+		return "CTMC";
 	}
 
 	public String getTransName()