From 939bf6914c517c92a3a6c23ee582cdc2e46a91f4 Mon Sep 17 00:00:00 2001
From: Mark Kattenbelt <mark.kattenbelt@comlab.ox.ac.uk>
Date: Wed, 11 Feb 2009 10:37:15 +0000
Subject: [PATCH] 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 | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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;