} else if ("viewAgentSubmit".equals(viewType)) { viewAgentSubmit();
    public void execute() throws IOException, ServletException     {      try {        redThreshold = Double.parseDouble(request.getParameter("redThreshold"));      } catch (Exception e) {        redThreshold = DEFAULT_RED_THRESHOLD;      }      try {        yellowThreshold = Double.parseDouble(request.getParameter("yellowThreshold"));      } catch (Exception e) {        yellowThreshold = DEFAULT_YELLOW_THRESHOLD;      }      try {        refreshInterval = Integer.parseInt(request.getParameter("refreshInterval"));      } catch (Exception e) {        refreshInterval = 0;      }      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 ("viewSelectedAgents".equals(viewType)) {        viewSelectedAgents();      } else if ("viewManyAgents".equals(viewType)) {        viewManyAgents();      } else if ("viewTitle".equals(viewType)) {        viewTitle();      } else if ("viewAgentSmall".equals(viewType)) {        viewAgentSmall();      } else if ("viewMoreLink".equals(viewType)) {        viewMoreLink();      } else {        viewDefault(); // other      }      // done    }