public void propertyChange(PropertyChangeEvent evt)
public void propertyChange(PropertyChangeEvent event)
  public void propertyChange(PropertyChangeEvent evt)  {    if (evt.getPropertyName().equals(TableColumn.COLUMN_WIDTH_PROPERTY))	invalidateWidthCache();   }