return null;
if (isSelectionEmpty()) return "[selection empty]"; else { StringBuffer b = new StringBuffer("selected rows: ["); for (int i = 0; i < selection.length; i++) { b.append(getRow(selection[i])); b.append(' '); } b.append(", lead "+getLeadSelectionRow()); return b.toString(); }
  public String toString() throws NotImplementedException  {		return null; // TODO  }