hg: jdk9/dev/jdk: 8025619: (fc) FileInputStream.getChannel on closed stream returns FileChannel that doesn't know that stream is closed

[brian.burkhalter at oracle.com]

Changeset: 655c81c02331
Author:    bpb
Date:      2014-12-15 12:09 -0800
URL:       http://hg.openjdk.java.net/jdk9/dev/jdk/rev/655c81c02331

8025619: (fc) FileInputStream.getChannel on closed stream returns FileChannel that doesn't know that stream is closed
Summary: If the stream is closed ensure getChannel() returns a closed channel. Also, FileKey.create() should throw an IOException directly instead of wrapping it in an Error.
Reviewed-by: alanb

! src/java.base/share/classes/java/io/FileInputStream.java
! src/java.base/share/classes/java/io/FileOutputStream.java
! src/java.base/share/classes/java/io/RandomAccessFile.java
! src/java.base/share/classes/sun/nio/ch/FileChannelImpl.java
! src/java.base/unix/classes/sun/nio/ch/FileKey.java
! src/java.base/windows/classes/sun/nio/ch/FileKey.java
+ test/java/nio/channels/FileChannel/GetClosedChannel.java