[statictype]

We're swaying off topic here, but, would animal.bark() or animal.fly() even compile under the Java compiler?

Unless the Animal type responds to fly and bark (unlikely in this scenario) that looks like a compile error to me.