From d461557f7d0fce9c00603a94f32f37a3ab875859 Mon Sep 17 00:00:00 2001
From: Mark Kattenbelt <mark.kattenbelt@comlab.ox.ac.uk>
Date: Fri, 13 Feb 2009 09:14:40 +0000
Subject: [PATCH] bugfix that avoids overloading the java.awt.Component.isValid
 method; causes problems with new JVMs

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@934 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/userinterface/properties/GUIPropLabelList.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/userinterface/properties/GUIPropLabelList.java b/prism/src/userinterface/properties/GUIPropLabelList.java
index b9e534ba..6735efef 100644
--- a/prism/src/userinterface/properties/GUIPropLabelList.java
+++ b/prism/src/userinterface/properties/GUIPropLabelList.java
@@ -123,7 +123,7 @@ public class GUIPropLabelList extends JTable
 	
 	/** Is the label list valid? */
 	
-	public boolean isValid()
+	public boolean isPropLabelListValid()
 	{
 		if (theModel.error != null) return false;
 		int i, n;