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