Really ignore default-implemented methods

Default-implemented methods are now ignored by setting their visibility
to private.