code: private void initSelects(Benchmark... benchs) {
      String opt = "<input type='checkbox' name='n' value='%ID%' %SEL%>%ID%</input><br/>";
      selectPanel.add(new HTML("<div id=selectcontainer><strong>Make your selection</strong><hr/></div>"));
      selectPanel.show();
      GQuery g = $("#selectcontainer");
      for (Benchmark b : benchs) {
        String select = opt;
        for (String s : defaultBenchmarks) {
          if (s.equals(b.getId())) {
            select = select.replaceAll("%SEL%", "checked='checked'");
          }
        }
        g.append(select.replaceAll("%ID%", b.getId() + " " + b.getName()).replaceAll("%SEL", ""));
      }
      g.append("<br/><button id=run>Run</button>");
      $("#run").click(runBenchMarks);
      selectPanel.hide();
    }
docs: Initialize the selects to choose the benchmarks to run