diff --git a/prism/src/userinterface/GUIConstantsPicker.java b/prism/src/userinterface/GUIConstantsPicker.java
index 59dad9c6..295b94da 100644
--- a/prism/src/userinterface/GUIConstantsPicker.java
+++ b/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();
diff --git a/prism/src/userinterface/properties/GUIExperimentPicker.java b/prism/src/userinterface/properties/GUIExperimentPicker.java
index f40a6de7..e9e15f84 100644
--- a/prism/src/userinterface/properties/GUIExperimentPicker.java
+++ b/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();