public virtual void MakeFileWritable (FilePath file)
{
FileAttributes fileAttributes = File.GetAttributes (file);
if ((fileAttributes & FileAttributes.ReadOnly) != 0) {
fileAttributes &= ~FileAttributes.ReadOnly;
File.SetAttributes (file, fileAttributes);
}
}