Down with ant. From the gradle to the grave.

1 files changed, 0 insertions, 80 deletions

diff --git a/java/src/IceGridGUI/Application/ListTextField.java b/java/src/IceGridGUI/Application/ListTextField.java
deleted file mode 100644
index a329cf14439..00000000000
--- a/java/src/IceGridGUI/Application/ListTextField.java
+++ /dev/null
@@ -1,80 +0,0 @@
-// **********************************************************************
-//
-// Copyright (c) 2003-2014 ZeroC, Inc. All rights reserved.
-//
-// This copy of Ice is licensed to you under the terms described in the
-// ICE_LICENSE file included in this distribution.
-//
-// **********************************************************************
-
-package IceGridGUI.Application;
-
-import IceGridGUI.*;
-
-import javax.swing.JTextField;
-
-//
-// A special field used to show/edit a list of strings separated
-// by whitespace
-//
-
-public class ListTextField extends JTextField
-{
-    public ListTextField(int columns)
-    {
-        super(columns);
-    }
-
-    public void setList(java.util.List<String> list, final Utils.Resolver resolver)
-    {
-        Utils.Stringifier stringifier =  new Utils.Stringifier()
-            {
-                @Override
-                public String toString(Object obj)
-                {
-                    return Utils.substitute((String)obj, resolver);
-                }
-            };
-
-        setText(Utils.stringify(list, stringifier, " ", null));
-    }
-
-    public java.util.LinkedList<String> getList()
-    {
-        String text = getText().trim();
-        java.util.LinkedList<String> result = new java.util.LinkedList<String>();
-
-        while(text.length() > 0)
-        {
-            if(text.startsWith("\""))
-            {
-                int last = text.indexOf("\"", 1);
-                if(last == -1)
-                {
-                    result.add(text.substring(1));
-                    text = "";
-                }
-                else
-                {
-                    result.add(text.substring(1, last));
-                    text = text.substring(last + 1).trim();
-                }
-            }
-            else
-            {
-                String[] strings = text.split("\\s", 2);
-                if(strings.length == 1)
-                {
-                    result.add(strings[0]);
-                    text = "";
-                }
-                else
-                {
-                    result.add(strings[0]);
-                    text = strings[1].trim();
-                }
-            }
-        }
-        return result;
-    }
-}