public interface SelectionListener {
  public void updateSelection();
}