private static DirectoryInfo getFolderFromFileType(Google.Apis.Script.v1.Data.File file)
        {
            switch (file.Type)
            {
            case "SERVER_JS":
                return(javascriptDirectory);

            case "HTML":
                return(htmlDirectory);

            case "JSON":
                return(jsonDirectory);
            }
            return(null);
        }
        private static string getExtensionFromFileType(Google.Apis.Script.v1.Data.File file)
        {
            switch (file.Type)
            {
            case "SERVER_JS":
                return(".js");

            case "HTML":
                return(".html");

            case "JSON":
                return(".json");

            default:
                return("");
            }
        }