I have a reference to a PsiMethod which is part of a library. For example, java.util.List.size(). Calling PsiMethod.getDocComment() for it returns null.
How can I grab the PsiMethod's corresponding Javadoc if
a) source code for that class has been attached to the library
b) javadoc has been attached to that library
Thanks in advance for any hints.