code: public boolean isToolSelected(int tool) {
          boolean selected = false;
          switch (tool) {
              case IBurpExtenderCallbacks.TOOL_PROXY:
                  selected = jCheckBoxProxy.isSelected();
                  break;
              case IBurpExtenderCallbacks.TOOL_REPEATER:
                  selected = jCheckBoxRepeater.isSelected();
                  break;
              case IBurpExtenderCallbacks.TOOL_SCANNER:
                  selected = jCheckBoxScanner.isSelected();
                  break;
              case IBurpExtenderCallbacks.TOOL_INTRUDER:
                  selected = jCheckBoxIntruder.isSelected();
                  break;
              case IBurpExtenderCallbacks.TOOL_SEQUENCER:
                  selected = jCheckBoxSequencer.isSelected();
                  break;
              case IBurpExtenderCallbacks.TOOL_SPIDER:
                  selected = jCheckBoxSpider.isSelected();
                  break;
              case IBurpExtenderCallbacks.TOOL_EXTENDER:
                  selected = jCheckBoxExtender.isSelected();
                  break;
              case IBurpExtenderCallbacks.TOOL_TARGET:
                  break;
              default:
                  break;
          }
          return selected;
      }
docs: Returns true if the requested tool is selected in the GUI
  
  @param tool The tool code, as defined in IBurpExtenderCallbacks
  @return whether the selected tool is selected