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