Re: Patch: remove `final' hack in String.toString()

[Tom Tromey <tromey at cygnus dot com>]

>>>>> "Corey" == Corey Minyard <minyard@acm.org> writes:

Corey> This would be nice, but to maintain bug compatibility with JDK
Corey> we probably have to analyze this on a case-by-case basis.  I
Corey> know, for instance, that in JDK passing a null pointer as the
Corey> address to the DatagramPacket() constructor or to
Corey> DatagramPacket.setAddress() will work fine under JDK.

Oh, I agree.  I only meant that we'd have explicit checks in those
cases where we know the method must throw NullPointerException but
where we also know (due to implementation details) that we can't rely
on these being generated by the compiler.

Tom