public static String getExtension(String ext){
        if(ext.equals("project file")){
            return "agmproj";
        }
        else if(ext.equals("data file")){
            return "agmdata";
        }
        else if(ext.equals("settings file")){
            return "agmset";
        }
        return "";
        /*
        else if(ext.equals("project file")){
            return "agmproj";
        }
        else if(ext.equals("project file")){
            return "agmproj";
        }
        elif ext == "":
            return "agmsc"
        elif ext == "settings":
            return "agmset"*/
    }