} else if ("viewSelectedAgents".equals(viewType)) { viewSelectedAgents(); } else if ("viewManyAgents".equals(viewType)) { viewManyAgents();
    public void execute() throws IOException, ServletException     {      String formatParam = request.getParameter("format");      if (formatParam == null) {        format = FORMAT_HTML; // default      } else if ("data".equals(formatParam)) {        format = FORMAT_DATA;      } else if ("xml".equals(formatParam)) {        format = FORMAT_XML;      } else if ("html".equals(formatParam)) {        format = FORMAT_HTML;      } else {        format = FORMAT_HTML; // other      }      String showTablesParam = request.getParameter("showTables");      if (showTablesParam == null) {        showTables = false; // default      } else if ("true".equals(showTablesParam)) {        showTables = true;      } else {        showTables = false; // other      }      String viewType = request.getParameter("viewType");      if (viewType == null) {        viewDefault(); // default      } else if ("viewAgentBig".equals(viewType)) {        viewAgentBig();      } else if ("viewAllAgents".equals(viewType)) {        viewAllAgents();      } else if ("viewTitle".equals(viewType)) {        viewTitle();      } else if ("viewAgentSmall".equals(viewType)) {        viewAgentSmall();      } else if ("viewMoreLink".equals(viewType)) {        viewMoreLink();      } else {        viewDefault(); // other      }      // done    }