public void Save() { adt.Save(); // Cleanup obj.RemoveOnDisk(); tex.RemoveOnDisk(); Utils.DeleteFile(file.Replace(".adt", ".tex")); Utils.DeleteFile(file.Replace(".adt", "_occ.wdt")); Utils.DeleteFile(file.Replace(".adt", "_lgt.wdt")); }