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

@@ -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;