void (TreeElement original, TreeElement element) { if(original == null || element == null || CodeEditUtil.isNodeGenerated(original)) return; int indentation = CodeEditUtil.getOldIndentation(original); if(indentation < 0) CodeEditUtil.saveWhitespacesInfo(original); CodeEditUtil.setOldIndentation(element, CodeEditUtil.getOldIndentation(original)); if(indentation < 0) CodeEditUtil.setOldIndentation(original, -1); }