if (incrButton != null) incrButton.removeMouseListener(mouseListener);  if (decrButton != null) decrButton.removeMouseListener(mouseListener);  if (panel != null) { panel.removeMouseListener(mouseListener); panel.removeFocusListener(focusListener); }
  protected void uninstallListeners()  {    tabPane.removeFocusListener(focusListener);    tabPane.removePropertyChangeListener(propertyChangeListener);    tabPane.removeChangeListener(tabChangeListener);    tabPane.removeMouseListener(mouseListener);    focusListener = null;    propertyChangeListener = null;    tabChangeListener = null;    mouseListener = null;  }