private String tableElementToString(Element tableElement) { StringBuilder result = new StringBuilder(); result.append("["); rowsToString(tableElement, result); result.append("]"); return result.toString(); }