void setLength(int fileId,
                 long len) {
    try {
      checkNotClosed();
      if (connection.getRecords().setLength(fileId, len)) {
        connection.markDirty();
      }
    }
    catch (IOException e) {
      throw handleError(e);
    }
  }
void setLength(int fileId,
                 long len)