polymorphism with exceptions

Animal.java

package polymorphism.superclassMethodInvoker.exception;

public class Animal {
	public void eat() throws Exception {
        // throws an Exception
      }
}

Dog2.java

package polymorphism.superclassMethodInvoker.exception;

public class Dog2 {
	public void eat() { /* no Exceptions */
	}

	// This code will not compile because of the Exception declared on the
	// Animal eat() method.This happens even though, at runtime, the eat()
	// method used would be the Dog version, which does not declare the
	// exception.
	public static void main(String[] args) {
		Animal a = new Dog2();
		Dog2 d = new Dog2();
		d.eat(); // ok
		a.eat(); // compiler error -
					// unreported exception
	}
}