code: public void printHtmlNavMenu(PrintWriter out)
          throws DBException
      {
          if (HHelpScreen.getFirstToUpper(this.getProperty(DBParams.NAVMENUS)) != UserInfoModel.NO_ICONS.charAt(0))
              super.printHtmlNavMenu(out);
          else
          { // Applets frequently turn off menu bars temporarly
              String strHTML = "\t<tr valign=top>\n\t<td>"; // Default menu = no table items
              out.println(strHTML);
          }
      }
docs: Code to display a Menu.
  @exception DBException File exception.