Fixed a bug in File::write()
Added documentation to ErrorHandler