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

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.*;