@Override
          public void setSelected(boolean b) {
            super.setSelected(b);
            debugSettings.setShowSuperGraph(b);
          }
Top-level menu containing debugging options that can be enabled at runtime.
java/ui/src/main/java/com/google/security/zynamics/bindiff/gui/tabpanels/menubar/DebugMenu.java