From 3310571776bbb9fe9ea18ad8d27e68d6b1ecf848 Mon Sep 17 00:00:00 2001
From: Marcel Kronfeld <makron@gmx.net>
Date: Thu, 3 Jul 2008 13:18:51 +0000
Subject: [PATCH] Forgot to remove dead class.

---
 src/eva2/gui/GenericArrayEditor.java | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/eva2/gui/GenericArrayEditor.java b/src/eva2/gui/GenericArrayEditor.java
index 3212dd8d..5a54fe4c 100644
--- a/src/eva2/gui/GenericArrayEditor.java
+++ b/src/eva2/gui/GenericArrayEditor.java
@@ -45,7 +45,6 @@ import javax.swing.SwingConstants;
 import javax.swing.event.ListSelectionEvent;
 import javax.swing.event.ListSelectionListener;
 
-import eva2.server.go.problems.DiscType;
 import eva2.tools.EVAHELP;
 import eva2.tools.SelectedTag;
 /*==========================================================================*
@@ -428,7 +427,7 @@ implements PropertyEditor {
 			GenericArrayEditor editor = new GenericArrayEditor();
 			
 
-			DiscType[] initial = { new DiscType(3,4.), new DiscType(5, 7.)};
+			int[] initial = { 3,45, 7};
 			editor.setValue(initial);
 			PropertyDialog pd = new PropertyDialog(editor,EVAHELP.cutClassName(editor.getClass().getName())
 					, 100, 100);