firePropertyChange(COLUMN_WIDTH_PROPERTY, oldWidth, width);
firePropertyChange("width", oldWidth, width);
  public void setWidth(int newWidth)  {    int	oldWidth = width;    if (newWidth < minWidth)      width = minWidth;    else if (newWidth > maxWidth)      width = maxWidth;    else      width = newWidth;    if (width == oldWidth)      return;    firePropertyChange(COLUMN_WIDTH_PROPERTY, oldWidth, width);  }