Avoid unnecessary creation of PrismSettings object in PrismComponent (was slowing down computations that require frequent creation of ECComputer classes).

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

prism/src/prism/PrismComponent.java

@@ -52,9 +52,9 @@ public class PrismComponent
 
 	/**
 	 * PRISM settings object.
-	 * Defaults to a fresh PrismSettings() object containing PRISM defaults.
+	 * Defaults to null to avoid delays when it will be copied from a parent object.
 	 */
-	protected PrismSettings settings = new PrismSettings();
+	protected PrismSettings settings = null;
 
 	// Constructors
 	
@@ -63,6 +63,8 @@ public class PrismComponent
 	 */
 	public PrismComponent()
 	{
+		// Create a fresh PrismSettings() object containing PRISM defaults.
+		settings = new PrismSettings();
 	}
 
 	/**