Question about purge_unchecked_exceptions

[Tom Tromey]

I'm working on a patch to add reflection data for the `throws' clause
of a method declaration.

gcj removes some of this information, in purge_unchecked_exceptions.
javac doesn't appear to do this.  For instance, gcj removes the
information that Byte.valueOf(String) throws NumberFormatException,
because that is an unchecked exception.

Is this "ok"?  I looked a bit but couldn't find any info in the
various references about what a Java compiler is supposed to do here.

Tom