code: public void setHeader (File header)
      {
          try {
              _header = StreamUtil.toString(new FileReader(header));
          } catch (IOException ioe) {
              System.err.println("Unabled to load header '" + header + ": " +
                                 ioe.getMessage());
          }
      }
docs: Configures us with a header file that we'll prepend to all
  generated source files.