public virtual void SetFileExtension (string extension) { throw new System.NotImplementedException(); }