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