From a0403b1ec2184ae5b4391dc0570a9f7baec68633 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 22 Aug 2011 10:23:28 +0000
Subject: [PATCH] Bug fix - to compile on Java 7 (via some import tidying).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3516 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 .../src/userinterface/GUIConstantsPicker.java  | 18 ++++++++++++------
 1 file changed, 12 insertions(+), 6 deletions(-)

diff --git a/prism/src/userinterface/GUIConstantsPicker.java b/prism/src/userinterface/GUIConstantsPicker.java
index 4f0ea143..aa6bc71b 100644
--- a/prism/src/userinterface/GUIConstantsPicker.java
+++ b/prism/src/userinterface/GUIConstantsPicker.java
@@ -27,14 +27,20 @@
 
 package userinterface;
 
-import javax.swing.*;
-import java.awt.*;
-import javax.swing.border.*;
-import javax.swing.table.*;
-import java.util.*;
+import java.awt.BorderLayout;
+import java.awt.Dimension;
+import java.util.ArrayList;
+
+import javax.swing.Action;
+import javax.swing.BoxLayout;
+import javax.swing.DefaultListSelectionModel;
+import javax.swing.JPanel;
+import javax.swing.JScrollPane;
+import javax.swing.JTable;
+import javax.swing.border.TitledBorder;
+import javax.swing.table.AbstractTableModel;
 
 import parser.*;
-import parser.ast.*;
 import parser.type.*;
 import prism.*;