[Jikesrvm-core] Re: gnu.java.nio.channels.FileChannelImpl

[Eliot Moss]

It's hard for me to imagine a single process needing more that 2^31 files
open at once, so I don't see why an int isn't good enough. This isn't a
FILE *, but is a "channel" number ..... Eliot