Usage
throw FileException try ...catch E in { E has FileExceptionType ...}
Description
FileException is an exception type thrown by file operations.