void (ErrorTreeElement element, final StringBuffer buffer, int baseIntent, final String newline) { final int startLength = buffer.length(); buffer.append(element.getKind().getPresentableText()); buffer.append(element.getExportTextPrefix()); final int localIndent = startLength - buffer.length(); final String[] text = element.getText(); if (text != null && text.length > 0) { buffer.append(text[0]); for (int i = 1; i < text.length; i++) { buffer.append(newline); shift(buffer, baseIntent + localIndent); buffer.append(text[i]); } } }