The MethodDoc class provides an overriddenClass() method, which
is very useful.

DocCheck also needs to reference the overriddenMethod(). If its
abstract, the handling is somewhat different than if it is
concrete. Finding the method would be inconvenient in the doclet,
and its information that JavaDoc already has on hand, so the
extra API would be helpful.