      $if rest-mode defined
           class-id. MicroFocalFileException inherits
          $if jvmgen set
               type java.io.IOException.
          $else
               type System.IO.IOException.
          $end
           end class.
      $end
