code: protected void writeFileTop(OutputStream o) throws Util.Exit {
          PrintWriter pw = wrapWriter(o);
          pw.println("/* DO NOT EDIT THIS FILE - it is machine generated */" + lineSep +
                     getIncludes());
      }
docs: /*
  File name and file preamble related operations.