// ----------------------------------------------------------------------------------------
 public String[] getMatrixColumnNames() {
   if (matrix == null) return new String[0];
   else return matrix.getColumnTitles();
 }