void setCellWidth(int cellindex, double width) { if ((width >= 0) && (cellindex < widths.length)) widths[cellindex] = width; }