Code tidy

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

prism/src/userinterface/properties/GUIGraphHandler.java

@@ -714,15 +714,6 @@ public class GUIGraphHandler extends JPanel implements MouseListener
 		g.clearRect(0,0,this.getWidth(),this.getHeight());
 	}
 	
-	/*public void deleteAllGraphs() {
-		
-		while (!this.models.isEmpty()) {
-			Graph g = this.models.remove(this.models.size()-1);
-			this.theTabs.remove(g);
-			this.options.clear();
-		}
-	}*/
-	
 	// don't implement these for tabs
 	//public void mouseClicked(MouseEvent e) { }
 	public void mouseEntered(MouseEvent e) { }

prism/src/userinterface/properties/GUIMultiProperties.java

@@ -54,13 +54,11 @@ import java.io.FileWriter;
 import java.io.IOException;
 import java.io.PrintWriter;
 import java.util.ArrayList;
-import java.util.List;
 
 import javax.swing.AbstractAction;
 import javax.swing.Action;
 import javax.swing.JButton;
 import javax.swing.JFileChooser;
-import javax.swing.JLabel;
 import javax.swing.JMenu;
 import javax.swing.JOptionPane;
 import javax.swing.JPanel;
@@ -102,7 +100,6 @@ import userinterface.SimulationInformation;
 import userinterface.graph.Graph;
 import userinterface.graph.Graph.SeriesKey;
 import userinterface.model.GUIModelEvent;
-import userinterface.model.GUIMultiModel;
 import userinterface.properties.computation.ExportResultsThread;
 import userinterface.properties.computation.LoadPropertiesThread;
 import userinterface.properties.computation.ModelCheckThread;