code: public FileObject write(ClassSymbol c)
          throws IOException
      {
          String className = c.flatName().toString();
          FileObject outFile
              = fileManager.getFileForOutput(StandardLocation.NATIVE_HEADER_OUTPUT,
                  "", className.replaceAll("[.$]", "_") + ".h", null);
          Writer out = outFile.openWriter();
          try {
              write(out, c);
              if (verbose)
                  log.printVerbose("wrote.file", outFile);
              out.close();
              out = null;
          } finally {
              if (out != null) {
                  // if we are propogating an exception, delete the file
                  out.close();
                  outFile.delete();
                  outFile = null;
              }
          }
          return outFile; // may be null if write failed
      }
docs: Emit a class file for a given class.
  @param c      The class from which a class file is generated.