public void generateHeader(Writer out) throws java.io.IOException {
  out.write("<HEAD>");
  if (title != null) {
    out.write("<TITLE>");
    out.write(title);
    out.write("</TITLE>");
  }
  if (base != null) {
    out.write("<BASE href=\"" + "\">");
  }
  out.write("</HEAD>");
}

public void generateHeader ( Writer out ) throws java . io . IOException { out . write ( "<HEAD>" ) ; if ( title != null ) { out . write ( "<TITLE>" ) ; out . write ( title ) ; out . write ( "</TITLE>" ) ; } if ( base != null ) { out . write ( "<BASE href=\"" + "\">" ) ; } out . write ( "</HEAD>" ) ; }
write the header to the output
