diff --git a/prism/src/userinterface/properties/GUIPropConstantList.java b/prism/src/userinterface/properties/GUIPropConstantList.java
index 7e2319b9..09e88568 100644
--- a/prism/src/userinterface/properties/GUIPropConstantList.java
+++ b/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;