int average = spill / (cols.length-1);
int average = 0; if (cols.length != 1) average = spill / (cols.length-1);
  private void distributeSpillResizing(TableColumn[] cols, int spill,                                       TableColumn resizeIt)  {    int average = spill / (cols.length-1);    for (int i = 0; i < cols.length; i++)      {        if (cols[i] != null && !cols[i].equals(resizeIt))          cols[i].setWidth(cols[i].getPreferredWidth() + average);      }    resizeIt.setWidth(resizeIt.getPreferredWidth());  }  