Martin Buchholz brought up a very good point. Suppose a method documents that
it throws A and B, where B is a subclass of A. If an overriden method only has
A in the throws clause, the doclet should inherit @throws documentation for A
and B. Although B is not explicitely in the throws clause, it is a subclass of
A so it is still checked.