Реализация интерфейсный методов в абстрактном классе

Да, но компилятор пропускает такую конструкцию, как будто метод абстрактного класса реалзизует метод интерфейса public interface Swimmable { void swim(); } public abstract class OceanAnimal { public void swim() { //do something } } public class Orca extends OceanAnimal implements Swimmable { } Вот такой код компиляцию проходит и запускается, хотя я не реализую в классе Orca метож swim(). Idea подсказывает: "Implements method in Swimmable via subclass Orca", но за счет чего такое возможно?

Inherited instance methods from classes can override abstract interface methods. Consider the following interfaces and classes:

public interface Mammal {
    String identifyMyself();
}
public class Horse {
    public String identifyMyself() {
        return "I am a horse.";
    }
}
public class Mustang extends Horse implements Mammal {
    public static void main(String... args) {
        Mustang myApp = new Mustang();
        System.out.println(myApp.identifyMyself());
    }
}

The method Mustang.identifyMyself returns the string I am a horse. The class Mustang inherits the method identifyMyself from the class Horse, which overrides the abstract method of the same name in the interface Mammal. Все работает согласно документации. Унаследованный метод с такой же сигнатурой есть? Есть. Вот он и считается реализацией интерфейса. Другое вопрос в том что класс, от которого этот метод унаследован сам интерфейс не реализует, а значит не обязан реализовывать этот метод. Соответственно, если кто-то поменяет предка, удалив этот метод - предок скомпилируется, а потомок - уже нет. Потому идея и подсказывает что возможны проблемы, полагаю.

Спасибо, очень подробно.