changed names of resource-1.3; added a note on homepage on release

1 files changed, 0 insertions, 22 deletions

diff --git a/src-3.0/JavaGUI/Utils.java b/src-3.0/JavaGUI/Utils.java
deleted file mode 100644
index b10f54712..000000000
--- a/src-3.0/JavaGUI/Utils.java
+++ /dev/null
@@ -1,22 +0,0 @@
-
-import java.io.File;
-
-public class Utils {
-
-    public final static String gf = "gf";
-    public final static String gfcm = "gfcm";
-
-    /*
-     * Get the extension of a file.
-     */
-    public static String getExtension(File f) {
-        String ext = null;
-        String s = f.getName();
-        int i = s.lastIndexOf('.');
-
-        if (i > 0 &&  i < s.length() - 1) {
-            ext = s.substring(i+1).toLowerCase();
-        }
-        return ext;
-    }
-}