}
if ((this.masks & BoundTable.HEADER_MASK) > 0) {
for (int i = 0; i < this.columns.length; i++) {
this.table.setWidget(0, i + startColumn,
new Label(this.columns[i].getLabel()));
}
this.table.getRowFormatter().setStyleName(0, "header");
}
GWT.log("Table size: " + (this.value == null ? "null" : Integer.toString(this.value.size())));