@Override
            public void valueChanged(ListSelectionEvent e) {
              if (!e.getValueIsAdjusting()) {
                updateHighlighter(((JList<?>)e.getSource()).getSelectedValue());
              }
            }
@Override
            public void valueChanged(ListSelectionEvent e)