docs: private static void getColumnList(Table t, int[] col, int len,
                                        StringBuffer a) {
  
          a.append('(');
  
          for (int i = 0; i < len; i++) {
              a.append(t.getColumn(col[i]).getName().statementName);
  
              if (i < len - 1) {
                  a.append(',');
              }
          }
  
          a.append(')');
      }