static void onSelectionChanged(final JList list, final F1<S> f) {
  if (list != null) swing {
    list.addListSelectionListener(new ListSelectionListener {
      public void valueChanged(ListSelectionEvent e) {
        pcallF(getSelectedItem(list));
      }
    });
  }
}