From 4b3cf8c6b468f9bc694189fc2ac613554b1410e9 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 28 Oct 2010 21:38:25 +0000
Subject: [PATCH] Code tidy.

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

diff --git a/prism/src/userinterface/properties/GUIExperimentTable.java b/prism/src/userinterface/properties/GUIExperimentTable.java
index 529fdeb1..cb132821 100644
--- a/prism/src/userinterface/properties/GUIExperimentTable.java
+++ b/prism/src/userinterface/properties/GUIExperimentTable.java
@@ -121,11 +121,11 @@ public class GUIExperimentTable extends JTable
 
 	class ExperimentTableModel extends AbstractTableModel
 	{
-		ArrayList experiments;
+		ArrayList<GUIExperiment> experiments;
 		
 		public ExperimentTableModel()
 		{
-			experiments = new ArrayList();
+			experiments = new ArrayList<GUIExperiment>();
 		}
 		
 		public String getColumnName(int index)
@@ -198,7 +198,7 @@ public class GUIExperimentTable extends JTable
 		
 		public GUIExperiment getExperiment(int i)
 		{
-			return (GUIExperiment)experiments.get(i);
+			return experiments.get(i);
 		}
 		
 		public int getNumExperiments()