protected void writeFooter(
      int numTables, int numTableCols, int numViews, int numViewCols, long numRows, LineWriter html)
      throws IOException {
    html.writeln("  <tr>");
    html.writeln("    <td class='detail'>&nbsp;</td>");
    html.writeln("    <td class='detail'>&nbsp;</td>");
    html.writeln("    <td class='detail'>&nbsp;</td>");
    html.writeln("    <td class='detail'>&nbsp;</td>");
    if (displayNumRows) html.writeln("    <td class='detail'>&nbsp;</td>");
    html.writeln("    <td class='comment detail'>&nbsp;</td>");
    html.writeln("  </tr>");
    String name = numTables == 1 ? " Table" : " Tables";
    html.writeln("  <tr class='tbl'>");
    html.writeln(
        "    <td class='detail'><b>" + integerFormatter.format(numTables) + name + "</b></td>");
    html.writeln("    <td class='detail'>&nbsp;</td>");
    html.writeln("    <td class='detail'>&nbsp;</td>");
    html.writeln(
        "    <td class='detail' align='right'><b>"
            + integerFormatter.format(numTableCols)
            + "</b></td>");
    if (displayNumRows)
      html.writeln(
          "    <td class='detail' align='right'><b>"
              + integerFormatter.format(numRows)
              + "</b></td>");
    html.writeln("    <td class='comment detail'>&nbsp;</td>");
    html.writeln("  </tr>");
    name = numViews == 1 ? " View" : " Views";
    html.writeln("  <tr class='view'>");
    html.writeln(
        "    <td class='detail'><b>" + integerFormatter.format(numViews) + name + "</b></td>");
    html.writeln("    <td class='detail'>&nbsp;</td>");
    html.writeln("    <td class='detail'>&nbsp;</td>");
    html.writeln(
        "    <td class='detail' align='right'><b>"
            + integerFormatter.format(numViewCols)
            + "</b></td>");
    if (displayNumRows) html.writeln("    <td class='detail'>&nbsp;</td>");
    html.writeln("    <td class='comment detail'>&nbsp;</td>");
    html.writeln("  </tr>");
    html.writeln("</table>");

    super.writeFooter(html);
  }
 @Override
 protected void writeFooter(LineWriter html) throws IOException {
   html.writeln("</div>");
   super.writeFooter(html);
 }