diff --git a/prism/src/userinterface/GUIConstantsPicker.java b/prism/src/userinterface/GUIConstantsPicker.java
index aa6bc71b..0167eaaa 100644
--- a/prism/src/userinterface/GUIConstantsPicker.java
+++ b/prism/src/userinterface/GUIConstantsPicker.java
@@ -40,9 +40,9 @@ import javax.swing.JTable;
 import javax.swing.border.TitledBorder;
 import javax.swing.table.AbstractTableModel;
 
-import parser.*;
-import parser.type.*;
-import prism.*;
+import parser.Values;
+import prism.PrismException;
+import prism.UndefinedConstants;
 
 public class GUIConstantsPicker extends javax.swing.JDialog
 {
@@ -449,10 +449,10 @@ public class GUIConstantsPicker extends javax.swing.JDialog
 	class Constant
 	{
 	String name;
-	Type type;
+	parser.type.Type type;
 	Object value;
 	
-	public Constant(String name, Type type, Object value)
+	public Constant(String name, parser.type.Type type, Object value)
 	{
 		this.name = name;
 		this.type = type;
diff --git a/prism/src/userinterface/GUISimulationPicker.java b/prism/src/userinterface/GUISimulationPicker.java
index d64a19eb..42acfd38 100644
--- a/prism/src/userinterface/GUISimulationPicker.java
+++ b/prism/src/userinterface/GUISimulationPicker.java
@@ -1134,10 +1134,10 @@ public class GUISimulationPicker extends javax.swing.JDialog implements KeyListe
 	class Value
 	{
 		String name;
-		Type type;
+		parser.type.Type type;
 		Object value;
 
-		public Value(String name, Type type, Object value)
+		public Value(String name, parser.type.Type type, Object value)
 		{
 			this.name = name;
 			this.type = type;
diff --git a/prism/src/userinterface/properties/GUIExperimentPicker.java b/prism/src/userinterface/properties/GUIExperimentPicker.java
index c7663764..40da366a 100644
--- a/prism/src/userinterface/properties/GUIExperimentPicker.java
+++ b/prism/src/userinterface/properties/GUIExperimentPicker.java
@@ -498,7 +498,7 @@ public class GUIExperimentPicker extends javax.swing.JDialog
 		static class Rememberance
 		{
 			String varName;
-			Type type;
+			parser.type.Type type;
 			boolean isRange;
 			String singleValue;
 			String start;
diff --git a/prism/src/userinterface/simulator/GUIInitialStatePicker.java b/prism/src/userinterface/simulator/GUIInitialStatePicker.java
index ac22e829..4ff0d12b 100644
--- a/prism/src/userinterface/simulator/GUIInitialStatePicker.java
+++ b/prism/src/userinterface/simulator/GUIInitialStatePicker.java
@@ -415,10 +415,10 @@ public class GUIInitialStatePicker extends javax.swing.JDialog implements KeyLis
 	class Value
 	{
 		String name;
-		Type type;
+		parser.type.Type type;
 		Object value;
             
-		public Value(String name, Type type, Object value)
+		public Value(String name, parser.type.Type type, Object value)
 		{
 			this.name = name;
 			this.type = type;