Bugfix: interfaces that are redefined have java/lang/Object as formal
superclass.