[PATCH] java.nio.channels

[Tom Tromey]

>>>>> "Michael" == Michael Koch <konqueror@gmx.de> writes:

Michael> Thanks, I commited the attached fast fix.

Thanks for the quick turnaround.  I appreciate it.

Tom