A saída será Horse eanting hay, por que como Horse é uma especialização de Animal, qualquer chamada do tipo:
como a classe Horse redefiniu o método eat() de Animal, a JVM sempre executara o método eat() de Horse, desde que o método não seja estático. Esta comportamento pode é uma característica do polimorfismo. Isto é chamado de Dynamic Binding. O que é Polimorfismo.
Alessandro
"Aquele que faz uma pergunta é um tolo por cinco minutos; aquele que não faz permanece tolo para sempre"[Provérbio Chinês]