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