JTabbedPaneのタブ選択をマウスホイールで変更する

private static JTabbedPane makeWheelTabbedPane() {
  return new JTabbedPane(SwingConstants.TOP, JTabbedPane.SCROLL_TAB_LAYOUT) {
    private transient MouseWheelListener handler;

    @Override public void updateUI() {
      removeMouseWheelListener(handler);
      super.updateUI();
      handler = e -> {
        JTabbedPane source = (JTabbedPane) e.getComponent();
        if (!getTabAreaBounds(source).contains(e.getPoint())) {
          return;
        }
        double dir = (e.isControlDown() ? -1 : 1) * e.getPreciseWheelRotation();
        String key = dir > 0 ? "navigateNext" : "navigatePrevious";
        ActionEvent ae = new ActionEvent(
          source, ActionEvent.ACTION_PERFORMED, "", e.getWhen(), e.getModifiersEx());
        source.getActionMap().get(key).actionPerformed(ae);
        // int idx = source.getSelectedIndex() + (int) dir;
        // if (idx < 0) {
        //   idx = source.getTabCount() - 1;
        // } else if (idx >= source.getTabCount()) {
        //   idx = 0;
        // }
        // source.setSelectedIndex(idx);
      };
      addMouseWheelListener(handler);
    }
  };
}