protected void layoutFooter(Page page) {
   ServletUtil.doLayoutFooter(
       page, (footnotes == null ? null : footnotes.iterator()), getLockssApp().getVersionInfo());
   if (footnotes != null) {
     footnotes.removeAllElements();
   }
 }
 /**
  * Store a footnote, assign it a number, return html for footnote reference. If footnote in null
  * or empty, no footnote is added and an empty string is returned. Footnote numbers get turned
  * into links; <b>Do not put the result of addFootnote inside a link!</b>.
  */
 protected String addFootnote(String s) {
   if (s == null || s.length() == 0) {
     return "";
   }
   if (footNumber == 0) {
     if (footnotes == null) {
       footnotes = new Vector(10, 10);
     } else {
       footnotes.removeAllElements();
     }
   }
   int n = footnotes.indexOf(s);
   if (n < 0) {
     n = footNumber++;
     footnotes.addElement(s);
   }
   return "<sup><font size=-1><a href=#foottag" + (n + 1) + ">" + (n + 1) + "</a></font></sup>";
 }