in infer/models/java/src/java/nio/FileChannelImpl.java [32:40]
public void implCloseChannel() throws IOException {
if (stream instanceof FileInputStream) {
((FileInputStream) stream).close();
} else if (stream instanceof FileOutputStream) {
((FileOutputStream) stream).close();
} else if (stream instanceof RandomAccessFile) {
((RandomAccessFile) stream).close();
}
}