Throws clauses incompatible with Object methods allowed in interfaces

The compiler currently accepts:

package ObjectSubtyping;

interface K {

  String toString() throws java.io.IOException;
  int hashCode() throws Exception;

}

This contradicts JLS2 section 9.2 (see top of page 203).

gilad.bracha@eng 2001-07-12