modify FileChannel.java for timestamp