code: public void setEnabledToolConfig(int tool, boolean enabled) {
          switch (tool) {
              case IBurpExtenderCallbacks.TOOL_PROXY:
                  jCheckBoxProxy.setEnabled(enabled);
                  break;
              case IBurpExtenderCallbacks.TOOL_REPEATER:
                  jCheckBoxRepeater.setEnabled(enabled);
                  break;
              case IBurpExtenderCallbacks.TOOL_SCANNER:
                  jCheckBoxScanner.setEnabled(enabled);
                  break;
              case IBurpExtenderCallbacks.TOOL_INTRUDER:
                  jCheckBoxIntruder.setEnabled(enabled);
                  break;
              case IBurpExtenderCallbacks.TOOL_SEQUENCER:
                  jCheckBoxSequencer.setEnabled(enabled);
                  break;
              case IBurpExtenderCallbacks.TOOL_SPIDER:
                  jCheckBoxSpider.setEnabled(enabled);
                  break;
              case IBurpExtenderCallbacks.TOOL_EXTENDER:
                  jCheckBoxExtender.setEnabled(enabled);
                  break;
              default:
                  break;
          }
      }
docs: Allows the enabling/disabling of UI tool selection elements, not every
  tool makes sense for every extension
  
  @param tool The tool code, as defined in IBurpExtenderCallbacks
  @param enabled True if the checkbox should be enabled.