Changes to the interface hierarchy cause errors in the same way that changes to
the class hierarchy do, as described in §13.4.4. In particular, changes that result in
any previous superinterface of a class no longer being a superinterface can break
compatibility with pre-existing binaries, resulting in a VerifyError.