public JTabbedPane getTabbedPanel() {
    return tabPanelManager.getTabbedPane();
  }
Holder class for the actual controller class TabPanelManager.
java/ui/src/main/java/com/google/security/zynamics/bindiff/gui/window/WindowFunctions.java