static void SetDefaultIndexFiles(string list)
{
if (list == null)
return;
ArrayList files = new ArrayList ();
string [] fs = list.Split (',');
foreach (string f in fs) {
string trimmed = f.Trim ();
if (trimmed == "")
continue;
files.Add (trimmed);
}
indexFiles = (string []) files.ToArray (typeof (string));
}