cols[i].setWidth(cols[i].getWidth() + average);
cols[i].setWidth(cols[i].getPreferredWidth() + average);
  private void distributeSpill(TableColumn[] cols, int spill)  {    int average = spill / cols.length;    for (int i = 0; i < cols.length; i++)      {        if (cols[i] != null)          cols[i].setWidth(cols[i].getWidth() + average);      }  }