});
}
}
private static class ChannelDescriptor {
private int lockCount = 0;
<BUG>private final FileChannel myChannel;
</BUG>
@SuppressWarnings({"IOResourceOpenedButNotSafelyClosed"})
public ChannelDescriptor(File file, String accessMode) throws FileNotFoundException {
<BUG>RandomAccessFile raf = new RandomAccessFile(file, accessMode);

myChannel = raf.getChannel();</BUG>
}

});
}
}
private static class ChannelDescriptor {
private int lockCount = 0;
private final RandomAccessFile myChannel;
@SuppressWarnings({"IOResourceOpenedButNotSafelyClosed"})
public ChannelDescriptor(File file, String accessMode) throws FileNotFoundException {
myChannel = new RandomAccessFile(file, accessMode);
}
