@Override
          public boolean isSelected() {
            return debugSettings.getShowSuperGraph();
          }
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