@Override
    public void propertyChange(PropertyChangeEvent e) {
      if (e.getOldValue() != null && e.getNewValue() == null) fireUIChanged();
    }
@Override
    public void propertyChange(PropertyChangeEvent e)