public String getColumnName(int col) {
   if (col == 0) return "Raw data";
   if (col > 0) {
     UserParameter p = parameters[col - 1];
     return p.getName();
   }
   return null;
 }