code: private TreeNode setPos(DocTree node, TreeNode newNode) {
      int pos = pos(node);
      return newNode.setPosition(new SourcePosition(pos, length(node), lineNumber(pos)));
    }
docs: Set a TreeNode's position using the original DocTree.