if (e.getPropertyName().equals("model")) updateLayoutStateNeeded |= modelChanged;
    public void propertyChange(PropertyChangeEvent e)    {      if (e.getSource() == BasicListUI.this.list)        {          if (e.getOldValue() != null && e.getOldValue() instanceof ListModel)            ((ListModel) e.getOldValue()).removeListDataListener(BasicListUI.this.listDataListener);          if (e.getNewValue() != null && e.getNewValue() instanceof ListModel)            ((ListModel) e.getNewValue()).addListDataListener(BasicListUI.this.listDataListener);        }      // Update the updateLayoutStateNeeded flag.      if (e.getPropertyName().equals("model"))        updateLayoutStateNeeded |= modelChanged;      else if (e.getPropertyName().equals("selectionModel"))        updateLayoutStateNeeded |= selectionModelChanged;      else if (e.getPropertyName().equals("font"))        updateLayoutStateNeeded |= fontChanged;      else if (e.getPropertyName().equals("fixedCellWidth"))        updateLayoutStateNeeded |= fixedCellWidthChanged;      else if (e.getPropertyName().equals("fixedCellHeight"))        updateLayoutStateNeeded |= fixedCellHeightChanged;      else if (e.getPropertyName().equals("prototypeCellValue"))        updateLayoutStateNeeded |= prototypeCellValueChanged;      else if (e.getPropertyName().equals("cellRenderer"))        updateLayoutStateNeeded |= cellRendererChanged;    }