Changes to the throws
clause of methods or constructors do not break compatibility with existing binaries; these clauses are checked only at compile time.
We are considering whether a future version of the Java language should require more rigorous checking of throws
clauses when classes are verified.