private throwIfFileIsReadonly(resource: URI, stat: IStat): void {
throw new FileOperationError(localize('err.readonly', "Unable to modify read-only file '{0}'", this.resourceForError(resource)), FileOperationResult.FILE_PERMISSION_DENIED);
}
private resourceForError(resource: URI): string {