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

1 files changed, 22 insertions, 0 deletions

diff --git a/src/JavaGUI/Utils.java b/src/JavaGUI/Utils.java
new file mode 100644
index 000000000..b10f54712
--- /dev/null
+++ b/src/JavaGUI/Utils.java
@@ -0,0 +1,22 @@
+
+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;
+    }
+}