Failed to compile due to JButtons being declared locally.

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

prism/src/userinterface/GUIConstantsPicker.java

@@ -51,6 +51,8 @@ public class GUIConstantsPicker extends javax.swing.JDialog
 	private Action okAction;
 	private Action cancelAction;
 	
+	private javax.swing.JButton okayButton;
+	
 	private UndefinedConstants undef;
 	
 	private GUIPrism gui;
@@ -108,7 +110,7 @@ public class GUIConstantsPicker extends javax.swing.JDialog
 		javax.swing.JPanel jPanel4;
 		javax.swing.JPanel jPanel5;
 		javax.swing.JPanel jPanel6;
-		javax.swing.JButton okayButton;
+		
 		
 		jPanel1 = new javax.swing.JPanel();
 		jPanel2 = new javax.swing.JPanel();

prism/src/userinterface/properties/GUIExperimentPicker.java

@@ -58,6 +58,8 @@ public class GUIExperimentPicker extends javax.swing.JDialog
 	private Action okAction;
 	private Action cancelAction;
 	
+	private javax.swing.JButton okayButton;
+	
 	private UndefinedConstants undef;
 	
 	private GUIPrism gui;
@@ -137,8 +139,7 @@ public class GUIExperimentPicker extends javax.swing.JDialog
 		javax.swing.JPanel jPanel4;
 		javax.swing.JPanel jPanel5;
 		javax.swing.JPanel jPanel6;
-		javax.swing.JButton okayButton;
-
+		
 		jPanel1 = new javax.swing.JPanel();
 		jPanel2 = new javax.swing.JPanel();
 		jPanel3 = new javax.swing.JPanel();