private void SaveCustomOptions(XmlDocument project, XmlElement parent){
XmlElement options = project.CreateElement("Options");
this.CreateAttribute(project, options, "fast", this.doFast.ToString());
this.CreateAttribute(project, options, "print", this.doPrint.ToString());
this.CreateAttribute(project, options, "UseContextRelativeStatics", this.doCRS.ToString());
this.CreateAttribute(project, options, "VersionSafe", this.versionSafe.ToString());
this.CreateAttribute(project, options, "libpath", this.libpath);
this.CreateAttribute(project, options, "warnaserror", this.doWarnAsError.ToString());
this.CreateAttribute(project, options, "WarningLevel", this.nWarningLevel.ToString(CultureInfo.InvariantCulture));
this.SaveUserDefines(project, options);
this.SaveManagedResources(project, options);
parent.AppendChild(options);
}