public static void setOldIndentation(TreeElement treeElement, int oldIndentation) {
    if (treeElement == null) return;
    treeElement.putCopyableUserData(INDENT_INFO, oldIndentation >= 0 ? oldIndentation : null);
  }
public static void setOldIndentation(TreeElement treeElement, int oldIndentation)