@Override
  public String getColumnName(int col) {
    ArrayChunk.ColHeader header = myColHeaders.get(col);
    if (header != null && header.getLabel() != null) {
      return header.getLabel();
    }
    else {
      return super.getColumnName(col);
    }
  }
@Override
  public String getColumnName(int col)