code: @Override @DefinedBy(Api.COMPILER_TREE)
      public DCDocComment newDocCommentTree(List<? extends DocTree> fullBody, List<? extends DocTree> tags) {
          ListBuffer<DCTree> lb = new ListBuffer<>();
          lb.addAll(cast(fullBody));
          List<DCTree> fBody = lb.toList();
  
          // A dummy comment to keep the diagnostics logic happy.
          Comment c = new Comment() {
              @Override
              public String getText() {
                  return null;
              }
  
              @Override
              public int getSourcePos(int index) {
                  return Position.NOPOS;
              }
  
              @Override
              public CommentStyle getStyle() {
                  return CommentStyle.JAVADOC;
              }
  
              @Override
              public boolean isDeprecated() {
                  return false;
              }
          };
          Pair<List<DCTree>, List<DCTree>> pair = splitBody(fullBody);
          DCDocComment tree = new DCDocComment(c, fBody, pair.fst, pair.snd, cast(tags));
          return tree;
      }
docs: /*
  Primarily to produce a DocCommenTree when given a
  first sentence and a body, this is useful, in cases
  where the trees are being synthesized by a tool.