An example of Java's FileChannel