file.getRandomAccessFile().seek(offset.longValue());
}
file.getRandomAccessFile().write(data, off, len);
} else {
throw new InvalidHandleException(
"The file was not opened for writing");
}
} else {
throw new InvalidHandleException("Handle is not an open file");
}
} else {
throw new InvalidHandleException("The handle is invalid");
}
}