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