isValid overwrites java.awt.Component method

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

prism/src/userinterface/properties/GUIPropConstantList.java

@@ -131,9 +131,9 @@ public class GUIPropConstantList extends JTable
 		theModel.validateConstants();
 	}
 	
-	/** Is the constant list valid? */
-	
-	public boolean isValid()
+	/** Is the constant list valid? */	
+	// Changed: isValid is a method of java.awt.Component
+	public boolean isConstantListValid()
 	{
 		if (theModel.error != null) return false;
 		int i, n;