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