public static void exportElement(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]);
      }
    }
  }
public static void exportElement(ErrorTreeElement element, final StringBuffer buffer, int baseIntent, final String newline)