Predicate inheritsMatchingMethodExceptThrows
If ejb inherits a method matching the signature of m except for the throws clause,
then return any type in the throws clause that does not match.
Import path
import semmle.code.java.frameworks.javaee.ejb.EJB