void makeAnnotationTypeElementDoc(MethodSymbol meth,
                                      String docComment, JCMethodDecl tree, Position.LineMap lineMap) {
        AnnotationTypeElementDocImpl result =
            (AnnotationTypeElementDocImpl)methodMap.get(meth);
        if (result != null) {
            if (docComment != null) result.setRawCommentText(docComment);
            if (tree != null) result.setTree(tree);
        } else {
            result =
                new AnnotationTypeElementDocImpl(this, meth, docComment, tree, lineMap);
            methodMap.put(meth, result);
        }
    }