private void writeResultCase(XmlWriter xml, ResultsCase rCase)
{
xml.WriteStartElement("Result_Case");
xml.WriteAttributeString("ID", rCase.Id.ToString());
xml.WriteAttributeString("FullPath", rCase.FullPath);
xml.WriteAttributeString("IsLoaded", rCase.IsLoaded.ToString());
xml.WriteEndElement();
}