@Override
  protected void fireContentsChanged(Object source, int index0, int index1) {
    if (!myListenersMuted) super.fireContentsChanged(source, index0, index1);
  }
@Override
  protected void fireContentsChanged(Object source, int index0, int index1)