private ArrayList ReadFromFile(string file)
{
ArrayList list = new ArrayList();
XmlReader reader = new XmlTextReader(file);
while (reader.Read())
{
if (reader.NodeType != XmlNodeType.Element)
continue;
if(string.Compare(reader.Name, @"data") != 0)
continue;
if (!reader.HasAttributes)
continue;
if(!reader.MoveToAttribute(@"xml:space"))
continue;
if (string.Compare(reader.Value, @"preserve") != 0)
continue;
if (!reader.MoveToAttribute("name"))
continue;
list.Add(reader.Value);
}
reader.Close();
return list;
}